diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt
index 31e44e33..559fa6f3 100644
--- a/typed-racket-lib/typed-racket/HISTORY.txt
+++ b/typed-racket-lib/typed-racket/HISTORY.txt
@@ -1,3 +1,6 @@
+6.9
+- Added initial steps towards refinement types.
+- Fixes related to numeric types and NaN.
 6.8
 - Restructured internal representations, especially of Union types.
   See https://pnwamk.github.io/blog/2017/01/08/some-changes-in-typed-racket-v6-8/