From 38e073b389a877b0a0d3c91136d2443ab95fdeba Mon Sep 17 00:00:00 2001
From: Armin Biere <biere@informatik.uni-freiburg.de>
Date: Fri, 15 Sep 2023 12:29:14 +0200
Subject: [PATCH] bumped version number in NEWS properly

---
 NEWS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/NEWS.md b/NEWS.md
index 194cd124..0213d3dc 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1,4 +1,4 @@
-Version 1.7.2
+Version 1.7.3
 -------------
 
 - Replaced the unsafe `popen` approach for compressed file writing