[m-dev.] [correction] distro download sizes (0.12.2)

[doug.auclair at logicaltypes.com]

Dear all,

I have some corrections to the sizes of distributions published on your web pages.  For the current stable release (0.12.2) your site states that mercury-extras is 22M; I downloaded only 748K (so I repeated the download five more times, as I thought the download was interrupted).  mercury-tests is published to be 914K, but it is actually 880K.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------