On Tue, Apr 28, 2020 at 01:58:47AM +0200, Jehan-Guillaume de Rorthais wrote:
> Thank you guys for your help, reviews and commits!
The buildfarm does not complain after the latest commit, meaning that
we are good here. Thanks for your efforts.
--
Michael