Completed
Push — master ( dda2ee...8f79bd )
by Tijs
13s queued 10s
created

No notable changes

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

9.59
▶   ± 0
Head
Tijs Verkoyen  
Merge pull request #193 from richardkeep/patch-1
1 more commit
Base
Christophe Coevoet  
Merge pull request #191 from stof/better_phpdoc