Subject: Re: bug#45314: ‘guix discover’ polls

From: Mathieu Othacehe <[email-masked]>
Date: Sun, 20 Dec 2020 10:43:00 +0100

Hey Ludo,

> How about the change below?

I think it looks nice! I pushed it as
f9978346e73359ac1d8b88c9ed874edc7225582b.

Thanks,

Mathieu