mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 14:57:03 +00:00
Estimated hours taken: 0.5 Branches: main Alteration to the online Developer Documentation so that the Reviews information page instructs developers to post diffs and diff reviews to the mercury-reviews mailing list. Currently, this page incorrectly instructs developers to post diffs to the mercury-developers mailing list. mercury/compiler/notes/reviews.html: Changed the four occurences of "mercury-developers" to "mercury-reviews".