Hey Ludo’!
On 27 August 2018 7:08:34 am AEST, l...@gnu.org wrote: >I forgot if this was already done, but perhaps you can add a bit in the manual >to insist that ‘restart’ is not quite the same as ‘stop’ + ‘start’. I hadn't done that, but I have now. There aren't many mentions of restart in the manual, but I changed the one that seemed most relevant. >Anyway, it all LGTM, thanks! Pushed! Thanks for the review. Carlo
