diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2024-02-16 08:43:44 -0500 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2024-02-16 08:43:44 -0500 |
commit | 60fb65a75147a0d703842b412effdf8ca6ae2169 (patch) | |
tree | b074c28c46ea53070ae81520736bedc6474bdeb1 /GNUmakefile | |
parent | 9c40099611099c567d26c7a8b2782fa9a47d6849 (diff) |
Release 3.1.13.1.1
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 8b1f848..b0314d8 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -6,7 +6,7 @@ VERSION := $(shell git describe --always 2>/dev/null) endif ifndef VERSION -VERSION := 3.1 +VERSION := 3.1.1 endif ifndef OS |