On Fri, May 06, 2011 at 11:35:35PM +0200, Jean-Daniel Dupas wrote: > If everybody is ok with has_extension, maybe someone can push the last version of the patch ? Hi Jean-Daniel, Committed at r131308 (with some minor improvements). Thanks, -- Peter