chore: request update stage0

leodemoura · leodemoura · commit 342163fc0786 · 2025-09-28T16:17:38.000-07:00
diff --git a/stage0/src/stdlib_flags.h b/stage0/src/stdlib_flags.h
@@ -1,3 +1,4 @@
+// update me!
 #include "util/options.h"
 
 namespace lean {
