On Sun, 14 Feb 2016 05:36:52 +0100, Joel Brobecker wrote: > Thanks for doing this. Looks good to me, so go ahead and push. Checked in: ba881f505ba211ffee59e68617cd1a02a7b4737b And for 7.11: 46e42194d8d2585b6860b1267c2b3e24ba9c589c Jan