Christoph Reiter 10a1a5bd9b bug_report.md: clean up a bit, remove bug label ...

There is no point in having a label if every new issue is labeled as a "bug"

2020-10-28 19:47:50 +01:00

..

bug_report.md

bug_report.md: clean up a bit, remove bug label

2020-10-28 19:47:50 +01:00