On Tue, Dec 03, 2019 at 01:11:27PM +0100, Fabien COELHO wrote:> Looks fine to me: patch applies, compiles, runs.
Thanks for double-checking. Done.--Michael