We are pleased to announce the release of version 20.01.2 of the Mercury system. A list of changes since the last release is available at <https://dl.mercurylang.org/release/release-notes-20.01.2.html>. The source distribution for version 20.01.2 is available from the Mercury Downloads page, <https://dl.mercurylang.org>. Julien.