Skip to content
Commit 8dddf7fc authored by Alberto Miranda's avatar Alberto Miranda ♨️
Browse files

Merge branch 'amiranda/65-build-fails-with-current-mercury-head' into 'main' 

Resolve "Build fails with current Mercury `HEAD`"

Closes #65

See merge request !47
parents 323885d1 920f0e36