PS: Traditional shells (only) are too offtopic on bug-bash;
I guess, we better limit to bug-autoconf.


Reply via email to