Resolve "Build fails with current Mercury `HEAD`"

Alberto Mirandarequested to merge
amiranda/65-build-fails-with-current-mercury-head into main

Closes #65 (closed)

Edited by Alberto Miranda

Merge request reports