diff --git a/NEWS b/NEWS
index c2da187b..84957df2 100644
--- 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)