On Sunday, January 12, 2020 4:10 AM, tom leb <email@example.com> wrote:
> do you have an official bug tracker for mrsh?>> I couldn't find one on todo.sr.ht. I can see some issues on GitHub> but since the upstream repository is on sourcehut, I was not sure> whether that one was the official issue tracker.
Yes, the GitHub tracker is the official one. I'd like to move to
SourceHut at some point, but at the moment it's missing support for
some features I'm currently using (checkboxes and closing issues from