[geany/geany] 09d17e: Merge pull request #1970 from dmaphy/master

Enrico Tröger git-noreply at xxxxx
Sun Nov 25 13:48:32 UTC 2018

Branch:      refs/heads/master
Author:      Enrico Tröger <enrico.troeger at uvena.de>
Committer:   GitHub <noreply at github.com>
Date:        Sun, 25 Nov 2018 13:48:32 UTC
Commit:      09d17e8646f17c9e03bf77f0eb97ac8b170113df

Log Message:
Merge pull request #1970 from dmaphy/master

Update std.php.tags to be current with PHP 7.2

Modified Paths:

Modified: data/tags/std.php.tags
3601 lines changed, 2587 insertions(+), 1014 deletions(-)
No diff available, check online

This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).

More information about the Commits mailing list