diff --git a/doc/release-notes/typed-racket/HISTORY.txt b/doc/release-notes/typed-racket/HISTORY.txt
index 42577848d0..67868c2269 100644
--- a/doc/release-notes/typed-racket/HISTORY.txt
+++ b/doc/release-notes/typed-racket/HISTORY.txt
@@ -1,3 +1,7 @@
+5.3.1
+- Revised handling of `Any` exported to untyped code
+- Added `cast`
+- Correctly compute variance of polymorphic type application
 5.3
 - Keyword and optional arguments
 - Faster startup