[m-dev.] Mercury packages for Debian

[Julien Fischer]

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 development
> version?

The most recent rotd (2018-11-12) should be fine.

Julien.