bumped version number in NEWS properly

Armin Biere · Armin Biere · commit 38e073b389a8 · 2023-09-15T12:29:14.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Version 1.7.2`
	`1`	`+Version 1.7.3`
`2`	`2`	`-------------`
`3`	`3`
`4`	`4`	- Replaced the unsafe `popen` approach for compressed file writing