mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-12 04:14:06 +00:00
Add a NEWS section for 14.01.2.
NEWS: As above.
This commit is contained in:
7
NEWS
7
NEWS
@@ -1,3 +1,4 @@
|
||||
<<<<<<< HEAD
|
||||
NEWS since Mercury 14.01.x
|
||||
--------------------------
|
||||
|
||||
@@ -97,6 +98,12 @@ Changes to the extras distribution:
|
||||
regex libraries. Thanks to Sebastian Godelet.
|
||||
|
||||
|
||||
NEWS for Mercury 14.01.2
|
||||
------------------------
|
||||
|
||||
This is a bug-fix release.
|
||||
|
||||
|
||||
NEWS for Mercury 14.01.1
|
||||
------------------------
|
||||
|
||||
|
||||
Reference in New Issue
Block a user