diff --git a/pantograph/test_server.py b/pantograph/test_server.py
index 94f5517..faa2a02 100644
--- a/pantograph/test_server.py
+++ b/pantograph/test_server.py
@@ -7,7 +7,7 @@ def test_version(self):
         """
         NOTE: Update this after upstream updates.
         """
-        self.assertEqual(get_version(), "0.3.10")
+        self.assertEqual(get_version(), "0.3.11")
 
     def test_server_init_del(self):
         import warnings
diff --git a/pyproject.toml b/pyproject.toml
index 975d17e..3f7eff5 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,7 +1,7 @@
 [project]
 name = "pantograph"
-version = "0.3.9"
-description = "A machine-to-machine interaction system for Lean"
+version = "0.3.11"
+description = "A Machine-to-Machine Interaction System for Lean"
 license = "Apache-2.0"
 readme = "README.md"
 authors = [
diff --git a/src b/src
index 1c871c9..8daf04a 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit 1c871c9065e7fb64102f3a4ca0cb584298b1701b
+Subproject commit 8daf04aa5522701647e3b805271aa283588dccfb