Thanks for the careful review. Pushed with suggested changes.
- [PATCH] md5, sha1, sha256, sha512:: support --with-openssl=... Pádraig Brady
- Re: [PATCH] md5, sha1, sha256, sha512:: support --with... Paul Eggert
- Re: [PATCH] md5, sha1, sha256, sha512:: support --with... Bruno Haible
- Re: [PATCH] md5, sha1, sha256, sha512:: support --with... Pádraig Brady