<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><br>
you have to do it manually i'm afraid. if git mergetool does not help, maybe some visual diffs like 'meld' would solve it.<br><br></blockquote><div><br></div><div>Always nice to have your prompt and friendly advice, even when it's bad news :-).</div>
<div><br></div><div>I'll fix it then, because I've become quite used to my expression-taker.</div><div><br></div><div>Shall I, after I fixed and tested that merge redacted into master? Or would Dave like to test things?</div>
<div><br></div><div>Yours,</div><div>Kas.</div></div>