[m-dev.] Source dist. archives on github

Peter Wang novalazy at gmail.com
Mon Feb 4 17:38:09 AEDT 2019

Hi all,

I've created the mercury-srcdist repository on Github
and uploaded what archives I have.


The .git directory in my workspace is 575 MB for 243 tags.


More information about the developers mailing list