Feedback

Report a bug or request a feature

Reports are issues on GitHub, where you can follow what happens to them.

Before you write

  • Reports are public. Anyone can read them, and posting one needs a free GitHub account.
  • Leave out anything private: no code you are not allowed to share, no file paths, and no repository or company names. A short description of the steps is enough.
  • For a bug, give the version (Help → About). Opened from the app's Help menu, the form fills it in.

Anything private, or a security problem, goes by email instead: [email protected].

See existing reports — yours may already be there.