On Tue, 22 Aug 2006, Riccardo Jack Lucchetti wrote:
By the way, is it normal that a file in the lib/src directory
needs a header from the plugin subdir?
No, it was a temporary ad hoc thing. Should be fixed now.