Update CHANGES

jmid · jmid · commit fed0ac6183f3 · 2023-03-28T09:42:08.000+02:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,7 @@
 
 ## Next version
 
+- #318: avoid repetitive interleaving searches in `STM_domain` and `STM_thread`
 - ensure `cleanup` is run in the presence of exceptions in
   - `STM_sequential.agree_prop` and `STM_domain.agree_prop_par`
   - `Lin_thread.lin_prop` and `Lin_effect.lin_prop`
