Subject: Re: [PATCH v4 3/4] gnu: Add grub-hybrid.

From: Danny Milosavljevic <[email-masked]>
Date: Thu, 3 Aug 2017 16:36:49 +0200

Pushed this patch (with minimal changes) to master as dd4b7476ec2c8c1d790f1366173a15bd6042eeee.