> On Nov 28, 2017, at 07:20 , Jeff Law <l...@redhat.com> wrote: >> Given that, I prefer Olivier's patch - it seems simpler to me. > OK. I can live with it.
Thanks for for your reviews Jeff and David. Will commit. Windows hosts are full of surprises. It shouldn't be hard to revisit the approach if need be. With Kind Regards, Olivier