X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Bug-administration;h=3a760b52b267609029adb7da3733818e94c9e292;hb=f5e03ec7b8a217ef53ce0c77374cddc0dcd79fae;hp=d6a534847200cd8a4f81e20706bcfeacfeaf10b9;hpb=bff93a49a8f7d82aa5fed643e5bbd1d1c830680f;p=pspp

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