chore: Update version marker

lenianiva · lenianiva · commit d8c3eb1de01c · 2025-12-18T10:21:01.000-08:00
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "pantograph"
-version = "0.3.9"
+version = "0.3.11"
 description = "A machine-to-machine interaction system for Lean"
 license = "Apache-2.0"
 readme = "README.md"
