Update HOW-TO-REPORT-A-BUG.md

This commit is contained in:
R. Bernstein 2022-03-12 04:52:11 -05:00 committed by GitHub
parent b7015b16b0
commit 2198f9bbaa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -194,7 +194,7 @@ likely the problem will be fixed and fixed sooner.
I realize that following the instructions given herein puts a bit of
burden on the bug reporter. This is justified since it attempts to balance
somewhat the burden and effort needed to fix the bug and the attempts
the burden and effort needed to fix the bug with the amount of effort to report the problem. And it attempts
to balance number of would-be bug reporters with the number of bug
fixers. Better bug reporters are more likely to move in the category
of bug fixers.