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

diff --git a/Bug-administration b/Bug-administration
index 3a760b52b2..8206e61ff9 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.