Merge pull request #4144 from keplertech/signoff-single-commit

maliberty · web-flow · commit 6dbbfc7ecbc9 · 2026-04-13T21:32:17.000Z
update naja with bundle support
diff --git a/tools/kepler-formal b/tools/kepler-formal
@@ -1 +1 @@
-Subproject commit ae2acd4aa825fbbffdc4f8e6591b720a4a0a9e12
+Subproject commit 8aff6307f464f2a3020710e0a6cd0e4a0dd6a132
