From 0419d3665876fdc62d49a238b28a3cde6840d001 Mon Sep 17 00:00:00 2001 From: GitHub Actions Date: Thu, 11 May 2023 00:12:35 +0000 Subject: [PATCH] Bump deb version to 3.1.3-1 --- deb/VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deb/VERSION b/deb/VERSION index 3b2074f..f9e9e0a 100644 --- a/deb/VERSION +++ b/deb/VERSION @@ -1 +1 @@ -3.1.2-1 \ No newline at end of file +3.1.3-1 \ No newline at end of file