On Thu, Nov 29, 2018 at 02:16:28PM +0100, Jean-Marc Lasgouttes wrote: > I do not know why there is a difference between master and branch, and I do > not like it. > > I think this should go in both master and branch, because it is sane.
There there. P