Merge remote-tracking branch 'refs/remotes/origin/dc/raw-pointers' into dc/raw-pointers

dkcumming · dkcumming · commit 10ead8284d79 · 2025-04-23T16:33:34.000+09:00
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmir"
-version = "0.3.121"
+version = "0.3.122"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.121'
+VERSION: Final = '0.3.122'
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.3.121
+0.3.122
