[m-dev.] Mercury packages for Debian
jfischer at opturion.com
Thu Nov 15 12:40:22 AEDT 2018
Might as well use 2018-11-14, which would be equally good.
On Thu, 15 Nov 2018 at 12:28, Paul Bone <paul at bone.id.au> wrote:
> On Tue, Nov 13, 2018 at 05:04:36PM +0000, Julien Fischer wrote:
> > Hi Paul,
> > On Tue, 13 Nov 2018, Paul Bone wrote:
> > > I'm updating the Debian packages that I made of Mercury, and I'll
> package a
> > > more recent version of Mercury as part of that.
> > >
> > > Would anyone (being familiar with what's been committed lately) like to
> > > nomiate a version that's fairly stable and can build the current
> > > version?
> > The most recent rotd (2018-11-12) should be fine.
> Paul Bone
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the developers