On Thu, Dec 16, 2010 at 12:43:48PM +0000, Sebastian wrote: > > Most of these includes were even unneeded before the last commit. I will move this comment out. It should have been a seperated topic. When we look into the git history, we don't want to be notified of things like this. Thanks, -- Nicolas Sebrecht