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
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