[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