diff options
-rw-r--r-- | ChangeLog | 2 | ||||
-rwxr-xr-x | configure | 2 | ||||
-rw-r--r-- | gmid.1 | 2 |
3 files changed, 4 insertions, 2 deletions
@@ -1,5 +1,7 @@ 2021-07-19 Omar Polo <op@omarpolo.com> + * configure (VERSION): 1.7.2 tagged + * gmid.c (setup_configless): unbreak configless mode 2021-07-11 Omar Polo <op@omarpolo.com> @@ -34,7 +34,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.7.1 +VERSION=1.7.2 CC=`printf "all:\\n\\t@echo \\\$(CC)\\n" | make ${MAKE_FLAGS} -sf -` @@ -474,7 +474,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.7.1 +.Dq gmid/1.7.2 .It Ev AUTH_TYPE The string "Certificate" if the client used a certificate, otherwise unset. |