Ensure the patches are up-to-date and consistent

Add the update-patches.py tool. Update all the patches, so that the files are up-to-date and use the same patch file format.
2026-09-06 18:13:29 +02:00 · 2023-04-18 18:16:19 +02:00
parent 7d7be0482c
commit c7697a4282
14 changed files with 110 additions and 71 deletions
@@ -1,8 +1,8 @@
-24c12
+24c24
 <     tail: *Elephant = null, // Hmm... tail needs something...
 ---
 >     tail: ?*Elephant = null, // <---- make this optional!
-54c42
+54c54
 <         if (e.tail == null) ???;
 ---
 >         if (e.tail == null) break;