Subject: Fixed i

From: KatolaZ <[email-masked]>
Date: Thu, 18 May 2017 11:03:46 +0100

It seems we have not had any more reports about grub failing to
install since jessie RC. I am closing this one then