assign IDs 0030 and 0031 and rename the files accordingly

book · book · commit 813a67ad31dc · 2024-11-23T18:37:04.000+01:00
diff --git a/ppcs/ppc0030-undef-aware-equality.md b/ppcs/ppc0030-undef-aware-equality.md
@@ -4,7 +4,7 @@
 
     Author:  Paul Evans <PEVANS>
     Sponsor:
-    ID:      TODO
+    ID:      0030
     Status:  Exploratory
 
 ## Abstract
diff --git a/ppcs/ppc0031-metaoperator-flags.md b/ppcs/ppc0031-metaoperator-flags.md
@@ -4,7 +4,7 @@
 
     Author:  Paul Evans <PEVANS>
     Sponsor:
-    ID:      TODO
+    ID:      0031
     Status:  Exploratory
 
 ## Abstract
