<div dir="ltr">Here is the patch for Merge Request 1 (MR!1).  The WebIDE must have changed the end-of-line sequence as I produced this with "git diff --ignore-all-space".<div><div><br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">- jss<div><br></div></div></div>
</div></div>