diff --git a/CHANGES.md b/CHANGES.md index 3778436b817..d99736e8ea4 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,4 @@ -1.7.3 (unreleased) +1.7.3 (27/02/2019) ------------------ - Fix interpretation of `META` files containing archives with `/` in @@ -8,9 +8,6 @@ - Make errors about menhir stanzas be located (#1881, fix #1876, @diml) -- Make errors about menhir stanzas be located (#1881, fix #1876, - @diml) - 1.7.2 (21/02/2019) ------------------