On Tue, 3 Jul 2012, Andreas Schwab wrote: > You can apply the whitespace cleanup as a separate commit. I think any such cleanup should happen after (a) the merge has been pushed to master and (b) the version.h changes to start 2.17 development have been pushed to master. -- Joseph S. Myers joseph@codesourcery.com