3.7.2
reindented code
libgnutls-openssl: Clean up list of exported symbols
Use https:// for www.gnu.org and www.example.com