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