update CHANGELOG with bug fix info

GaloisInc · Mar 21, 2022 · 3343864 · 3343864
1 parent 260adfe
commit 3343864
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -3,6 +3,7 @@
 ## 2.12.4 -- YYYY-MM-DD
 
 * NEW CHANGELOG ENTRIES SINCE 2.12.2 GO HERE
+* fix: add `typing-extensions` as an explicit dependency for the client.
 
 ## 2.12.2 -- 2021-12-21