From 7bac1e2d69a4b82c58c097c69bcaed65cca00315 Mon Sep 17 00:00:00 2001 From: Branden Archer Date: Sun, 20 Oct 2019 20:05:43 -0700 Subject: [PATCH] Update hash and date for 0.13.0 release in NEWS --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)