From d7cef2eaa74e99738c53b835cff4945dbb24cef5 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Fri, 19 Nov 2021 10:30:28 -0800 Subject: [PATCH] add more notes for Python 2.12 changelog entry --- cryptol-remote-api/python/CHANGELOG.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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