diff options
author | Omar Polo <op@omarpolo.com> | 2022-10-31 22:46:59 +0000 |
---|---|---|
committer | Omar Polo <op@omarpolo.com> | 2022-10-31 22:46:59 +0000 |
commit | 4107583e32017d94beda9de6f531ca82bb1e7ffe (patch) | |
tree | d7b6c2ebedc6bbd77bd62effe118762e4f3dd391 | |
parent | 36213d73762cd55de81db53c63bb90a3e475d200 (diff) |
gmid 1.8.51.8.5
-rwxr-xr-x | configure | 2 | ||||
-rw-r--r-- | gmid.conf.5 | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -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 index cbd16fd..1d5bf3f 100644 --- 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. |