On Tue, Oct 6, 2015 at 5:26 PM, David Carlisle <[email protected]> wrote:
> On 6 October 2015 at 15:55, Hans Hagen <[email protected]> wrote: > > Hi, > > > > One of these days we're going to release 0.80.1 and in addition to some > > Hans, > thanks for the heads up, can you give an indication of whether that's > "one day this week" or "one day before the end of the year" or ... > > The current trunk is "almost" the next beta 0.80.1 . We are checking some things --- there is a part of code of metapost that is still old, I think I will update it today or tomorrow at max. Bugfixes can happen as usual, of course. -- luigi
