Completed
Push — psr2 ( 1a953a...9ddafc )
by Andreas
10:42 queued 01:49
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