[m-dev.] referenced papers

[Julien Fischer]

On Mon, 31 Aug 2015, Zoltan Somogyi wrote:

> github.com/Mercury-Language/mercury_outside_papers
>
> It is public, but I have no idea how to set up controls on who can update it.
> I am hoping that it inherits those settings from Mercury-Language, but
> don't know. If someone does, I would be grateful if they told me.

Permission to push to (or otherwise update) any of Mercury-Language's
repositories is restricted to the Owners team for Mercury-Language.

> I would also be grateful if you test whether the repo can be checked out
> by someone other than me.

I just checked it out succesfully.

Julien.