<div dir="ltr"><div>Hi Paul,</div><div><br></div><div>Might as well use 2018-11-14, which would be equally good.</div><div><br></div><div>Cheers,</div><div>Julien.<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, 15 Nov 2018 at 12:28, Paul Bone <<a href="mailto:paul@bone.id.au">paul@bone.id.au</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tue, Nov 13, 2018 at 05:04:36PM +0000, Julien Fischer wrote:<br>
> <br>
> Hi Paul,<br>
> <br>
> On Tue, 13 Nov 2018, Paul Bone wrote:<br>
> <br>
> > I'm updating the Debian packages that I made of Mercury, and I'll package a<br>
> > more recent version of Mercury as part of that.<br>
> > <br>
> > Would anyone (being familiar with what's been committed lately) like to<br>
> > nomiate a version that's fairly stable and can build the current development<br>
> > version?<br>
> <br>
> The most recent rotd (2018-11-12) should be fine.<br>
> <br>
<br>
Cheers.<br>
<br>
-- <br>
Paul Bone<br>
<a href="http://paul.bone.id.au" rel="noreferrer" target="_blank">http://paul.bone.id.au</a><br>
</blockquote></div>