On Mon, 29 Jun 2015, Julien Fischer wrote: > I have created an entry in the bug database for this one (bug #386). > I'll post any further information there. The last unaffected version > of Mercury was rotd-2015-03-16. This issue has been fixed as of rotd-2015-07-01. Cheers, Julien.