On Mon, Jun 27, 2011 at 08:31:47PM +0200, Reimar Döffinger wrote: > On Mon, Jun 27, 2011 at 08:00:01PM +0200, Ingo Brückl wrote: > > Objections? > > Yes, we definitely do _not_ want all those includes in the header. Why? Diego