bug#40368: closed (Docker server version is "dev" (should be a version number))

[GNU bug Tracking System]

Your message dated Thu, 2 Apr 2020 12:47:31 +0200
with message-id <address@hidden>
and subject line Re: bug#40368: Docker server version is "dev" (should be a 
version number)
has caused the debbugs.gnu.org bug report #40368,
regarding Docker server version is "dev" (should be a version number)
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
40368: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40368
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Docker server version is "dev" (should be a version number) Date: Wed, 01 Apr 2020 12:06:05 +0200

Hi,

--8<---------------cut here---------------start------------->8---
> docker info
Client:
 Debug Mode: false

Server:
 Containers: 7
  Running: 3
  Paused: 0
  Stopped: 4
 Images: 5
 Server Version: dev
 [...]
--8<---------------cut here---------------end--------------->8---

See the last line.
This triggers issues with programs that expect a version number here.

-- 
Pierre Neidhardt
https://ambrevar.xyz/

signature.asc
Description: PGP signature

--- End Message ---

--- Begin Message --- Subject: Re: bug#40368: Docker server version is "dev" (should be a version number) Date: Thu, 2 Apr 2020 12:47:31 +0200

Hi Pierre,

thanks for the report!

Fixed in guix master in commit 451c38b7d6017434a2a06646f1da6ef1e6ca4614.

pgpwqpGHZN7s0.pgp
Description: OpenPGP digital signature

--- End Message ---