diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
index 5d6ad2d32..3ee1339b1 100644
--- 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