From 0ac68ac71dd825b9dc9f77d4e617d259db157643 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..51545f070 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 + or client since 2.11.7. ## 2.11.7 -- 2021-09-22