Subject: Re: bug#40368: Docker server version is "dev" (should be a version number)
From: Danny Milosavljevic <[email-masked]>
To: Pierre Neidhardt <[email-masked]>
Cc: [email-masked]
Date: Thu, 2 Apr 2020 12:47:31 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Pierre,

thanks for the report!

Fixed in guix master in commit 451c38b7d6017434a2a06646f1da6ef1e6ca4614.