diff --git a/CHANGELOG.md b/CHANGELOG.md
index dfff842b738ddf305e4a8d349b4d51142909b8a3..dff20c8a49aa17a59e7a27710ea4b31bd7e92ea4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -20,6 +20,7 @@ API-breaking change is listed.
 - 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.
+- Add tactic `multiset_solver` for solving goals involving multisets.
 
 ## std++ 1.3 (released 2020-03-18)