Merge pull request #132560 from malte-christian/master
verifpal: run tests
authored by Sandro and committed by GitHub 4 years ago 92d45b97 2f7babdb