gmid 1.8.5

omar-polo · Oct 31, 2022 · 4107583 · 4107583
1 parent 36213d7
commit 4107583
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/configure b/configure
@@ -33,7 +33,7 @@ echo "file config.log: writing..."
 # default settings: initialize all vars here such that nothing is
 # leaked from the environment except for CC, CFLAGS and LDFLAGS
 
-VERSION=1.8.5-current
+VERSION=1.8.5
 
 CC=`printf "all:\\n\\t@echo \\\$(CC)\\n" | make ${MAKE_FLAGS} -sf -`
 

diff --git a/gmid.conf.5 b/gmid.conf.5
@@ -264,7 +264,7 @@ The port the server is listening on.
 .Dq GEMINI
 .It Ev SERVER_SOFTWARE
 The name and version of the server, i.e.
-.Dq gmid/1.8.4
+.Dq gmid/1.8.5
 .It Ev AUTH_TYPE
 The string "Certificate" if the client used a certificate, otherwise
 unset.