Use merge-multiple#154

oscarbenjamin merged 2 commits into

flintlib:masterflintlib/python-flint:masterfrom

oscarbenjamin:pr_merge_multipleoscarbenjamin/python-flint:pr_merge_multipleCopy head branch name to clipboard