Hi,

        Usually proposed patches are sent to the dev list because this list
is where the git hooks send the commited patches. About your patch,
you can add this patch directly to the wiki.

Thanks,


Reply via email to