I've rabased this patch over latest master (with maint already merged,
and thus with the patch "Improve tests on generated portions of
configure help screen." already merged), and pushed.

Regards,
   Stefano

Reply via email to