<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Oct 6, 2015 at 5:26 PM, David Carlisle <span dir="ltr"><<a href="mailto:d.p.carlisle@gmail.com" target="_blank">d.p.carlisle@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 6 October 2015 at 15:55, Hans Hagen <<a href="mailto:pragma@wxs.nl">pragma@wxs.nl</a>> wrote:<br>
> Hi,<br>
><br>
> One of these days we're going to release 0.80.1 and in addition to some<br>
<br>
</span>Hans,<br>
thanks for the heads up, can you give an indication of whether that's<br>
"one day this week" or "one day before the end of the year" or ...<br>
<br></blockquote><div>The current trunk is "almost" the next beta 0.80.1 . We are checking some things --- </div><div>there is a part of code of metapost that is still old, I think I will update it today or tomorrow at max.</div><div>Bugfixes can happen as usual, of course.</div><div><br></div><div><br></div><div><br></div><div><br></div></div><br clear="all"><div><br></div>-- <br><div class="gmail_signature">luigi<br></div>
</div></div>