Has the time come to get rid of the "delivering" of public headers?

[Bjoern Michaelsen]

On Thu, Feb 23, 2012 at 11:41:20AM +0000, Michael Meeks wrote:
> 
> 	:-) Any chance of some more advanced 'easy hacks' on this ? and/or a
> Google Summer of Code idea:
> 
> 	https://wiki.documentfoundation.org/Development/Gsoc/Ideas

Done.

Best,

Bjoern