Subject: bug#27007: boot-parameters are not documented

From: Leo Famulari <[email-masked]>
Date: Sat, 20 May 2017 17:07:11 -0400

On Sat, May 20, 2017 at 10:31:59PM +0200, Mathieu Othacehe wrote:
> 
> Hi Tomáš,
> 
> > My question without answer is - how can I specify bootloader menu entries now?
> 
> You're right, you have to pass a <boot-parameters> now. The
> documentation patch is still in review, you can find it here :
> 
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26339#489

Okay. Generally, I think changes that affect users should be pushed with
documentation, even if we plan to change things again soon. The master
branch should always be "deployable". If we need to experiment with big
changes, we can do it on another branch.