Merge from 3.2 (#10318, #12255, #12043, #12417 and other fixes)

This commit is contained in:
Éric Araujo 2011-07-29 03:11:09 +02:00
commit 2527796a22
33 changed files with 81 additions and 132 deletions

1
Tools/scripts/patchcheck.py Normal file → Executable file
View file

@ -1,3 +1,4 @@
#!/usr/bin/env python3
import re
import sys
import shutil