chore: request update stage0

leodemoura · leodemoura · commit 36cd28af984d · 2025-10-19T15:33:57.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 {
