diff options
author | Jochen Neumeister <joneum@FreeBSD.org> | 2018-11-10 17:33:27 +0000 |
---|---|---|
committer | Jochen Neumeister <joneum@FreeBSD.org> | 2018-11-10 17:33:27 +0000 |
commit | fa0d2e76ea8e387f084dbd4135979433ed303274 (patch) | |
tree | f77ed0ecd27504c8c923d73d02b5d5248214df9d /editors/psgml | |
parent | sysutils/yank: Fix build when PREFIX != /usr/local (diff) |
Update to 7.2.12
Changelog:
- http://www.php.net/ChangeLog-7.php#7.2.12
Approved by: tz (implicit)
Sponsored by: Netzkommune GmbH
Notes
Notes:
svn path=/head/; revision=484627
Diffstat (limited to 'editors/psgml')
0 files changed, 0 insertions, 0 deletions