X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Bug-administration;h=5affeab82d3bbf9a56c717377f2e1098eb383ef1;hb=15d30a4c251fe810f3697bd287afdc8b1699487d;hp=8206e61ff9f18791e915982c28040c3b74f77a98;hpb=1ddcc5a5097c522c8609abd5037e27dfaffb4264;p=pspp

diff --git a/Bug-administration b/Bug-administration
index 8206e61ff9..5affeab82d 100644
--- a/Bug-administration
+++ b/Bug-administration
@@ -14,4 +14,4 @@ Severity:
 * 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.