News 6.1.1

chschulte · chschulte · commit 40eaa859210a · 2019-02-20T13:06:33.000+01:00
diff --git a/_news/2019-02-14-gecode-6-1-1.html b/_news/2019-02-14-gecode-6-1-1.html
@@ -0,0 +1,5 @@
+---
+title: Gecode 6.1.1
+---
+
+Gecode 6.1.1 has been released on February 14th, 2019 (<a href='/doc-latest/reference/PageChange.html'>Changelog</a>).

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +---
 +title: Gecode 6.1.1
 +---
++
 +Gecode 6.1.1 has been released on February 14th, 2019 (<a href='/doc-latest/reference/PageChange.html'>Changelog</a>).