diff --git a/CHANGELOG.md b/CHANGELOG.md
index 29542846fee0070e85dd42ab60a03df4fea20559..3e8738104c0b1c1f0563597583d5a5f58e8a3608 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -15,6 +15,7 @@ API-breaking change is listed.
   imports `list.v`, but not the prelude.
 - Rename `drop_insert` into `drop_insert_gt` and add `drop_insert_le`.
 - Added `Countable` instance for `Ascii.ascii`.
+- Make lemma `list_find_Some` more apply friendly.
 
 ## std++ 1.3 (released 2020-03-18)