Hey Ludo!

On Fri, Apr 07 2017, Ludovic Courtès wrote:
> Could you send updated patches?

I finally got around to fixing up my patches! How exciting. I've also
added an extra patch for updating guix.texi.

The MAIN PANIC DIE is still an issue, but I'm fairly sure it only
affects the tests.

Carlo