Re-sync patches with current changes

2026-09-06 18:13:29 +02:00 · 2021-06-14 11:52:22 -04:00
parent de322fab46
commit 9209879d73
7 changed files with 57 additions and 15 deletions
@@ -1,8 +1,8 @@
-83c83
+86c86
 <             for (???) |s| {
 ---
 >             for (my_seq) |s| {
-95c95
+98c98
 <             while (??? != my_sentinel) {
 ---
 >             while (my_seq[i] != my_sentinel) {