projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65c83e3) | patch
thirdpartymirrors: Remove unused 'postgresql' mirror
authorMichał Górny <mgorny@gentoo.org>
Sun, 15 Sep 2019 15:17:08 +0000 (17:17 +0200)
committerMichał Górny <mgorny@gentoo.org>
Wed, 25 Sep 2019 17:38:26 +0000 (19:38 +0200)
commitab27cead71f383ed1e4b335056c24afe3c9b683c
tree0f1cb7498bb4a90b6a3315b14be9dea659a758a7tree | snapshot
parent65c83e3123db1a09aff66ecf38362c54e3e78a1ccommit | diff
thirdpartymirrors: Remove unused 'postgresql' mirror

The postgresql mirror entry did not list more than one server
since 2012.  Time to finally inline the URLs.

Signed-off-by: Michał Górny <mgorny@gentoo.org>
Closes: https://github.com/gentoo/gentoo/pull/12932
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/thirdpartymirrors diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.