Peter Eisentraut e716dc3fc4 doc: Update redirecting links ...

Update links that resulted in redirects.  Most are changes from http to
https, but there are also some other minor edits.  (There are still some
redirects where the target URL looks less elegant than the one we
currently have.  I have left those as is.)

2018-07-16 10:44:06 +02:00

..

src

doc: Update redirecting links

2018-07-16 10:44:06 +02:00

bug.template

Stamp 11beta2.

2018-06-25 11:09:49 -04:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

…

TODO

Change documentation references to PG website to use https: not http:

2017-05-20 21:50:47 -04:00