From ddbdb661922c13fe5375f5b23d86b8223a59419b Mon Sep 17 00:00:00 2001
From: Kamil ATLI <suvarice@gmail.com>
Date: Sun, 29 Jan 2023 19:56:24 +0300
Subject: [PATCH] z3

---
 programming/library/z3/pspec.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml
index 9526ad0786..3553279501 100644
--- a/programming/library/z3/pspec.xml
+++ b/programming/library/z3/pspec.xml
@@ -70,7 +70,7 @@
 		<Update release="7">
 			<Date>2023-01-28</Date>
 			<Version>4.12.1</Version>
-			<Comment>Version bump.</Comment>
+			<Comment>Version bump</Comment>
 			<Name>fury</Name>
 			<Email>uglyside@yandex.ru</Email>
 		</Update>