diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-06-16 11:33:06 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-06-16 11:26:05 +0200 |
| commit | 49692f3e1b08b0b1606e12d0647b9d0759508607 (patch) | |
| tree | 17585e5790335612e5d047d53008ee4db8567d36 /community/crystal/makefile-allow-extra-flags.patch | |
| parent | b0a972ea6b49f25cc37c14b1acd10b64629c5841 (diff) | |
| download | aports-49692f3e1b08b0b1606e12d0647b9d0759508607.tar.bz2 aports-49692f3e1b08b0b1606e12d0647b9d0759508607.tar.xz | |
main/pgpool: upgrade to 3.7.4
Diffstat (limited to 'community/crystal/makefile-allow-extra-flags.patch')
0 files changed, 0 insertions, 0 deletions