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.
