On Fri, 13 Dec 2019 at 12:20, zimoun <zimon.touto...@gmail.com> wrote:
> On Fri, 13 Dec 2019 at 10:45, Pierre Neidhardt <m...@ambrevar.xyz> wrote: > > > I tried it on two recent commits > > (including eb8aad6a23442cf7b23e0df88b89b4cd030dfbf5) and I get > > Is it a pushed commit? Or a local one? My bad. I find the commit. :-) But I do not experiment the issue you described. No idea... Cheers, simon
