Update hash and date for 0.13.0 release in NEWS

diff --git a/NEWS b/NEWS
index c2da187b5b88c6b6092be75d541f3c213acf8ff7..84957df20b5c6468d6c9c1695a4dee5793b14869 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,5 @@
-Sat Oct 19, 2019: Released Check 0.13.0
-  based on hash 0b80af232b9d899f876faf3930093d0a3b19f378
+Sat Oct 20, 2019: Released Check 0.13.0
+  based on hash 2b18886a9a9d3bab44917a550d12128ad7e2c197
 
 * configure: optional build documentation
   Issue #206 (GitHub)