ziglings/patches/patches/046_optionals2.patch
Manlio Perillo c7697a4282 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.
2023-04-18 18:16:19 +02:00

8 lines
216 B
Diff

24c24
< tail: *Elephant = null, // Hmm... tail needs something...
---
> tail: ?*Elephant = null, // <---- make this optional!
54c54
< if (e.tail == null) ???;
---
> if (e.tail == null) break;