Subject: bug#452: devuan-installer: Grub says the operating system is Debian!!

From: Mark Hindley <[email-masked]>
Date: Wed, 20 May 2020 10:45:02 +0100

On Wed, May 20, 2020 at 08:36:32AM +0900, Ryutaroh Matsumoto wrote:
> Hi Mark, thank you very much for this. This email should close #452. Ryutaroh

Thanks.

Just to finish the story, this has already been changed for ceres and
chimaera. See #411.

Mark