We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e73b1f0 commit 97e7ecfCopy full SHA for 97e7ecf
CHANGES.md
@@ -1,4 +1,4 @@
1
-2.13.0 (unreleased)
+2.13.0 (2023-07-03)
2
-------------------
3
4
* Fix behavior of utop -stdin (#434, fixes #433, @tuohy)
0 commit comments