On Sun, Mar 18, 2018 at 01:13:48PM +0100, Magnus Hagander wrote:> Applied that way with minor adjustments to the comment.
Thanks, Magnus.--Michael