On Sun, Nov 18, 2018 at 01:03:25PM +0100, Björn Höfling wrote:
> Pushed under core-updates-next:
> 
> 02d83c247931045cf899433223e1b1a51f605a9f
> 
> First push to Guix. Is everything fine?

It looks good to me, thank you!