On Tue, Oct 12, 2010 at 09:30:32PM +0100, Andreas Stieger wrote: > Hi, > > attached you will find a patch adding documentation for the Header keyword, > fixing issue 95. Committed in r3794. Thank you. Stefan