diff options
| author |   Brian Evans <grknight@gentoo.org> | 2020-05-14 14:16:51 -0400 |
|---|---|---|
| committer | Brian Evans <grknight@gentoo.org> | 2020-05-14 14:16:51 -0400 |
| commit | 7dfe9d46952ce152993d7232c693c89043296eee (patch) | |
| tree | 4ddd3383244481a0388dacc24c1802bc576d5407 /dev-lang/ocaml | |
| parent | profiles: p.u.s.mask - Drop old PHP 7.4 target mask (diff) | |
| download | gentoo-7dfe9d46952ce152993d7232c693c89043296eee.tar.gz gentoo-7dfe9d46952ce152993d7232c693c89043296eee.tar.bz2 gentoo-7dfe9d46952ce152993d7232c693c89043296eee.zip | |
dev-lang/php: Version bump for 7.2.31
Signed-off-by: Brian Evans <grknight@gentoo.org>
Diffstat (limited to 'dev-lang/ocaml')
0 files changed, 0 insertions, 0 deletions