NEWS |2 ++
1 file changed, 2 insertions(+)
New commits:
commit 7e1c90fa717eb2253ca1901d4065f06b2469cfa2
Author: Markus Mohrhard
AuthorDate: Wed Dec 25 00:48:48 2019 +0800
Commit: Markus Mohrhard
CommitDate: Wed Dec 25 00:48:48 2019 +0800
update NEWS
diff --git a/NEWS b/NEWS
i
NEWS |3 +++
1 file changed, 3 insertions(+)
New commits:
commit 75d1efd9866d3474ca008157be092be93d782243
Author: Markus Mohrhard
Date: Tue Aug 18 04:08:40 2015 +0200
add new assertions to NEWS
diff --git a/NEWS b/NEWS
index c76d1fb..b3c4c19 100644
--- a/NEWS
+++ b/NEWS
@@ -4,6 +4,9
NEWS |7 +++
1 file changed, 7 insertions(+)
New commits:
commit 2599d56470a331fb943a1afabfd053ddf7548e6a
Author: Markus Mohrhard
Date: Thu Jul 17 15:31:53 2014 +0200
add fix for fdo381433 to News
diff --git a/NEWS b/NEWS
index f85f037..c76d1fb 100644
--- a/NEWS
+++ b/NEWS
@@ -1,