Labels

Something isn't working

General maintenance that's necessary, but not usually worth mentioning or discussing.

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

This issue or pull request is about the Android frontend

This issue or pull request is about the backend or the infra

This issue or pull request is about some shared logic

This will not be worked on