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

diff --git a/Bug-administration b/Bug-administration
index d6a5348472..8206e61ff9 100644
--- a/Bug-administration
+++ b/Bug-administration
@@ -3,15 +3,15 @@ at http://sv.gnu.org/bugs/?group=pspp
 
 We use the following conventions for classiying / ranking bugs:
 
-Relase: 
-* 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". 
+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".
 
 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.