Completed
Pull Request — master (#45)
by
unknown
01:03
created

No notable changes

There were no notable changes in the changeset which was inspected.

10
▶   ± 0
Head
Jorge González  
Merge ab22a817a956c2895848f33210088b1e1e08136e into 43874216929f02c1e2e60396d86a9cbfd642dae2
1 more commit
Base
Jorge González  
Little maintenance, explicit PHP 7.2 integration in code. (#43)