diff options
| author | Jacendi <v.gavrilov@artofad.ru> | 2018-05-13 15:21:03 +0300 |
|---|---|---|
| committer | Aaron Bauman <bman@gentoo.org> | 2018-05-19 21:47:45 -0400 |
| commit | f146a313748777cdf62c11c7dcc53c9ef687e778 (patch) | |
| tree | 6cd07158e1f37642f650429bee9d441960d8157a /dev-db/postgresql/files/postgresql-10.2-no-server.patch | |
| parent | cbed6b7d1f1c5c289399ea28fa5b159ca0bec9a3 (diff) | |
| download | gentoo-f146a313748777cdf62c11c7dcc53c9ef687e778.tar.gz gentoo-f146a313748777cdf62c11c7dcc53c9ef687e778.tar.bz2 gentoo-f146a313748777cdf62c11c7dcc53c9ef687e778.zip | |
media-libs/libsfml: Version bump to 2.5.0
Closes: https://github.com/gentoo/gentoo/pull/8388
Diffstat (limited to 'dev-db/postgresql/files/postgresql-10.2-no-server.patch')
0 files changed, 0 insertions, 0 deletions