diff --git a/rhine/ChangeLog.md b/rhine/ChangeLog.md
index e14d7e5ed..852570d59 100644
--- a/rhine/ChangeLog.md
+++ b/rhine/ChangeLog.md
@@ -1,5 +1,10 @@
 # Revision history for rhine
 
+## Upcoming
+
+* Removed `SN` GADT in favour of semantic functions, for a > 100x speedup in some benchmarks
+  (https://github.com/turion/rhine/pull/348)
+
 ## 1.5
 
 * Added `forever` utility for recursion in `ClSFExcept`