----- Original Message -----
> On 06/22/2016 11:36 AM, Muayyad AlSadi wrote:
> > What about developer mode in grub menu?
> The grub entry won't be added as part of a rebase.
Right, if you don't currently have a grub entry, rebasing
will not make one appear.
However, the grub entry should be "refreshed" if it was
previously there. If that was the case, then this is a bug