I have a doubt about patch 5.  I have placed the others in a configure
branch on github, in preparation for sending a pull request once there's
agreement.

Paolo

Reply via email to