From: Richard Kreckel <kreckel@ginac.de>
Date: Mon, 19 Sep 2022 09:09:36 +0000 (+0200)
Subject: Really finalize 1.8.4 release.
X-Git-Tag: release_1-8-4
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=d39db5674734029a7aa11ea4446fd8923d51ce0e

Really finalize 1.8.4 release.

Fix SONAME screw-up in last commit.
---

diff --git a/ginac/version.h b/ginac/version.h
index 974c35f3..30b2eb7f 100644
--- a/ginac/version.h
+++ b/ginac/version.h
@@ -55,7 +55,7 @@
 // TODO, when breaking the SONAME:
 //  * change matrix inverse to use default argument (twice)
 //  * check for interfaces marked as deprecated
-#define GINAC_LT_CURRENT  13
+#define GINAC_LT_CURRENT  12
 #define GINAC_LT_REVISION 3
 #define GINAC_LT_AGE      1