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

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

View File

@ -193,7 +193,7 @@ likely the problem will be fixed and fixed sooner.
# Karma
I realize that following the instructions given herein puts a bit of
burden on the bug reporter. This is justified as attempts to balance
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
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