Appropriate fix for msys2 bot fail on gen-def.py (#894)

2 files changed