diff --git a/changes-5.1.html b/changes-5.1.html index 26003ad60..0b5358172 100644 --- a/changes-5.1.html +++ b/changes-5.1.html @@ -16,6 +16,7 @@

Yap-5.1.2: