add more notes for Python 2.12 changelog entry

GaloisInc · Nov 19, 2021 · d7cef2e · d7cef2e
1 parent 68a926e
commit d7cef2e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -2,7 +2,9 @@
 
 ## 2.12.0 -- 2021-11-19
 
-* v2.12 release
+* v2.12 release in tandem with Cryptol 2.12 release. See Cryptol release 2.12
+  release notes for relevant Cryptol changes. No notable changes to RPC server
+  itself since 2.11.7.
 
 ## 2.11.7 -- 2021-09-22