bug#27007: boot-parameters are not documented

[Leo Famulari]

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.