On Tue, Sep 11, 2018 at 07:03:41PM +0200, Fabien COELHO wrote:> Attached Michael's simplified version updated with your remarks.
Okay, this version looks good to me so pushed. Thanks Fabien andPeter.--Michael