<div dir="ltr">Mercury 13.05.1 has been released.  This is a bugfix release for version 13.05.<div>A list of changes since version 13.05 is available at: <<a href="http://dl.mercurylang.org/release/release-notes-13.05.1.txt">http://dl.mercurylang.org/release/release-notes-13.05.1.txt</a>>.</div>
</div>