CI: Use specific revision of maintainer-tools#720

apoelstra merged 1 commit intorust-bitcoin:masterrust-bitcoin/rust-miniscript:masterfrom

tcharding:08-11-maintainer-tools-revtcharding/rust-miniscript:08-11-maintainer-tools-revCopy head branch name to clipboard