Wed, 01 Aug 2012 13:51:09 +0200
Remove overlooked sources remaining after upstream resynchronization.