[Mercury Announce] Mercury 22.01.5 released

[Julien Fischer]

We are pleased to announce the release of version 22.01.5 of the Mercury system.
A list of changes since the last release is available at:

     <https://dl.mercurylang.org/release/release-notes-22.01.5.html>.

The source distribution for version 22.01.5 is now available from the Mercury
Downloads page:

      <https://dl.mercurylang.org>.

Alternatively, you can download it from:

      <https://github.com/Mercury-Language/mercury-srcdist>.

Julien.