Completed
Push — psr2 ( 1a953a...9ddafc )
by Andreas
19:17 queued 15:31
created
6.34
▶   ± 0
Head
Andreas Gohr  
Merge branch 'master' into psr2
20 more commits
Base
Andreas Gohr  
ignore side effects in a few more files