On Wed, 9 May 2012, Andreas Jaeger wrote: > If we do a revert, what should not be reverted besides copyright lines > and whitespace changes? The NEWS changes should not be reverted - instead, a new entry about the reversion should be added to NEWS for 2.16. -- Joseph S. Myers joseph@codesourcery.com