
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body>

<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto" style="margin:1em 0">On 16 Dec 2016, at 5:03, Caroline Taylor wrote:</p>

<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><blockquote style="border-left:2px solid #777; color:#999; margin:0 0 5px; padding-left:5px; border-left-color:#999"><p dir="auto" style="margin:1em 0">Don’t know what you changed in the last couple of days (r5310 was failing; latest was r5315 and worked), but it worked this time. *Thank you*!</p>

</blockquote><p dir="auto" style="margin:1em 0">One other comment — I’d tried Tuesday with the test build, so that’s probably r5314, and it didn’t work for me. I’m just thrilled it’s working again.</p>

</blockquote><p dir="auto" style="margin:1em 0">I'm glad it works. I'm not so glad it didn't work with r5314 :) Let me know if the issue returns.</p>

<p dir="auto" style="margin:1em 0">-- <br>

Benny</p>


</div>

</div>

</body>

</html>