added php7.2 and php 7.3#9
Open
tomtomsen wants to merge 10 commits into
Open
Commits
Commits on Dec 27, 2018
- committed
Markus Bandion - committed
Markus Bandion - committed
Markus Bandion
Commits on Jan 4, 2019
- committed
Markus Bandion - committed
Markus Bandion - committed
Markus Bandion - committed
Markus Bandion - committed
Markus Bandion
Commits on Jul 15, 2019
Commits on Jul 16, 2019
- committed
Markus Bandion