Don't forget to run contrib/run_astyle.bat before pushing.