Skip to content

hopefully uncontroversial fixes

A collection of random bug fixes I made while working to deploy the new issuebot to fdroid/rfp.

Merge request reports