Completed
Push — master ( 01b91e...81b516 )
by Carlos
01:53 queued 17s
created

No notable changes

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

8.93
▶   ± 0
Head
overtrue  
Merge branch 'master' of github.com:overtrue/phplint
1 more commit
Base
overtrue  
Bump version.