Subject: Re: bug#26339: [PATCH] bootloader: Rename boot-name to bootloader-name.

From: Mathieu Othacehe <[email-masked]>
Date: Sat, 10 Jun 2017 18:33:40 +0200

Hi Ludo,

> That makes it clear that we renamed a field and that the rest is purely
> mechanical.

Ok, pushed as f96752e with an updated commit message.

Thanks,

Mathieu