Use https for gnu.org links
authorPeter Eisentraut <peter@eisentraut.org>
Wed, 14 Oct 2020 06:24:54 +0000 (08:24 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Wed, 14 Oct 2020 06:24:54 +0000 (08:24 +0200)
commit39b4a951003a6545268e141272e123929d0d710f
treea1391d596783629a78a1c598179f0a3db4b94a0f
parent4e118fc33e3ca5244c11a81a71bd25cf9ed3d484
Use https for gnu.org links

Mostly already done, but there were some stragglers.
doc/src/sgml/installation.sgml
src/include/c.h
src/include/port/atomics/generic-gcc.h
src/interfaces/ecpg/Makefile
src/tools/RELEASE_CHANGES