Index: server/doc/krb5-kuserok-scripts.patch.num
===================================================================
--- server/doc/krb5-kuserok-scripts.patch.num	(revision 19)
+++ server/doc/krb5-kuserok-scripts.patch.num	(revision 20)
@@ -125,26 +125,2 @@
 0124      return(isok);
 0125  }
-0126 
-0127 
-0128 
-0129 
-0130 
-0131 
-0132 
-0133 
-0134 
-0135 
-0136 
-0137 
-0138 
-0139 
-0140 
-0141 
-0142 
-0143 
-0144 
-0145 
-0146 
-0147 
-0148 
-0149