docs: rename doc/How_to_report_a_bug to doc/howto-report-bug
This commit is contained in:
parent
5492858db0
commit
42506fee78
Loading…
Reference in New Issue