Subject: Re: bug#41709: installed-os test failing
From: Mathieu Othacehe <[email-masked]>
To: [email-masked]
Date: Thu, 30 Jul 2020 21:02:40 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing this one as the installed-os test has been fixed.

Mathieu