[m-rev.] for review: add a link to the GitHub issues page
Julien Fischer
jfischer at opturion.com
Thu Dec 30 23:34:16 AEDT 2021
Add a link to the GitHub issues page.
include/development.inc:
As above.
Julien.
diff --git a/include/development.inc b/include/development.inc
index 76a4400..2b3d0f4 100644
--- a/include/development.inc
+++ b/include/development.inc
@@ -50,5 +50,6 @@ You can find them on the <a href="contact.html">Contact</a> page.
<p>
Bugs may be reported on our <a href="https://bugs.mercurylang.org/">bug tracker</a>,
-or on the mercury-users mailing list.
+on our <a href="https://github.com/Mercury-Language/mercury/issues">GitHub issues</a>
+page or on the mercury-users mailing list.
</p>
More information about the reviews
mailing list