Marco's branch was still missing the change to CMakeLists.txt, so we'll use this branch instead.
I've compiled and ran make check on this and it works, so approving.
« Back to merge proposal
Marco's branch was still missing the change to CMakeLists.txt, so we'll use this branch instead.
I've compiled and ran make check on this and it works, so approving.