Fix document history for -25 release

danielfett · danielfett · commit a790095c6b3d · 2024-02-08T18:03:29.000+01:00
diff --git a/C_documenthistory.md b/C_documenthistory.md
@@ -2,6 +2,8 @@
 
    [[ To be removed from the final specification ]]
 
+   -25
+
    * Shepherd's writup feedback: Removed discussion on outdated POP approaches
    * Shepherd's writup feedback: Clarify relationship to other document.
    * Shepherd's writup feedback: Expand abbreviations
