CHANGELOG entry.

CHANGELOG.md

@@ -78,6 +78,7 @@ Coq 8.13 is no longer supported.
 * Move operations and lemmas about locations into a module `Loc`.
 * Extend `wp_apply` and `wp_smart_apply` to support immediately introducing the
   postcondition into the context via `as (x1 ... xn) "ipat1 ... ipatn"`.
+* Add comparison `≤` and `<` for locations. (by Arthur Azevedo de Amorim).
 
 **LaTeX changes:**