<div class="markdown">
<p dir="auto">On 3 Oct 2014, at 15:50, Max Rydahl Andersen wrote:</p>

<blockquote>
<p dir="auto">is it Version 1.8 (4548) or later ?</p>
</blockquote>

<p dir="auto">Later. I’m investigating a problem reported for r4548 which might mean a new beta won’t be far away. We’ll see.</p>

<p dir="auto">-- <br>
Benny</p>

</div>