Merge pull request #244427 from trofi/re2c-update
authored by Sandro and committed by GitHub 2 years ago 17c6f710 7edaa7b7