On Thu, Jan 17, 2013 at 4:59 PM, Michael Day <mikeday at yeslogic.com> wrote: > Hi Julien, > >> mercury-srcdist-<VERSION>.tar.gz > > > Bikeshedding, but you could go with mercury-source-*, it's one character > shorter :) See my response to Paul; the problem is it's not just the Mercury source. Cheers, Julien.