Am 15.07.2021 um 16:14 schrieb jr:
>> Can you please file an issue report on GitHub, to put a propoer pin in this?
> went there, cannot add an "issue" without acquiring an account. sorry.
I'd argue that it's worth it, given that it's free of charge. It may not
be the last issue you might want to report.
GitHub _is_ our preferred place for bug reports these days.
And we're by far not the only ones. There is an ever growing number of
other pieces of open source software out there that have GitHub as their
_only_ official channel for bug reporting. Having a GitHub account opens
up the door to those, too.
Post a reply to this message