On Tue, 2020-04-21 at 16:19 +0100, Andrew Haley wrote: > I think that we'd better keep 11 as it is, in the hope that people > transitioning to 8 will also transition to fixing the code. s/8/11/ +1 Thanks, Severin