From a1890f63ee1fa60ab3bfa8b2a2959a05de32afe8 Mon Sep 17 00:00:00 2001
From: Branden Archer <b.m.archer4@gmail.com>
Date: Mon, 21 Oct 2019 22:08:14 -0700
Subject: [PATCH] Restore development header in NEWS

---
 NEWS | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/NEWS b/NEWS
index 84957df..1a90242 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,7 @@
+In Development:
+# Mentioning Check 0.13.0 for now, to fix distcheck target until next release
+
+
 Sat Oct 20, 2019: Released Check 0.13.0
   based on hash 2b18886a9a9d3bab44917a550d12128ad7e2c197
 
-- 
2.40.0