X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=Bug-administration;h=5affeab82d3bbf9a56c717377f2e1098eb383ef1;hp=3a760b52b267609029adb7da3733818e94c9e292;hb=refs%2Fheads%2Fctables10;hpb=8180c5dd1591446174c0753ee960921786113403

diff --git a/Bug-administration b/Bug-administration
index 3a760b52b2..5affeab82d 100644
--- a/Bug-administration
+++ b/Bug-administration
@@ -4,14 +4,14 @@ at http://sv.gnu.org/bugs/?group=pspp
 We use the following conventions for classiying / ranking bugs:
 
 Release:
-* Bugs which we think must be fixed before a release get their "Release" field set accordingly. 
-* Bugs which need not be fixed before any particular release, get their "Release" field set to "Future". 
-* Bugs where we have not get decided are left at "None". 
+* Bugs which we think must be fixed before a release get their "Release" field set accordingly.
+* Bugs which need not be fixed before any particular release, get their "Release" field set to "Future".
+* Bugs where we have not get decided are left at "None".
 
 Severity:
-* Feature requests have their "Severity" field set to "Wishlist". 
-* Bugs which cause a crash or other unwanted effects when incorrect input is given are "Average". 
-* Bugs which cause a crash when correct input is given are "Major" 
-* Bugs which render the software unusable are "Blocker" 
+* Feature requests have their "Severity" field set to "Wishlist".
+* Bugs which cause a crash or other unwanted effects when incorrect input is given are "Average".
+* Bugs which cause a crash when correct input is given are "Major"
+* Bugs which render the software unusable are "Blocker"
 
-Obviously some cases are unclear and judgement has be be used.
+Obviously some cases are unclear and judgement has to be used.