From ce647eba212b7cdc1d1a96c513f74b3693e96f35 Mon Sep 17 00:00:00 2001
From: Andrew Kent <andrew@galois.com>
Date: Wed, 21 Jul 2021 08:26:59 -0700
Subject: [PATCH] chore: bump cryptol client patch number (#1244)

---
 cryptol-remote-api/python/CHANGELOG.md   | 5 +++++
 cryptol-remote-api/python/pyproject.toml | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
index 5eb58241..e9edeb88 100644
--- a/cryptol-remote-api/python/CHANGELOG.md
+++ b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for `cryptol` Python package
 
+## 2.11.3 -- 2021-07-20
+
+* Removed automatic reset from `CryptolConnection.__del__`.
+
+
 ## 2.11.2 -- 2021-06-23
 
 * Ability to leverage HTTPS/TLS while _disabling_ verification of SSL certificates.
diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
index 430de631..432db26c 100644
--- a/cryptol-remote-api/python/pyproject.toml
+++ b/cryptol-remote-api/python/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "cryptol"
-version = "2.11.2"
+version = "2.11.3"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol 2.11 RPC server"