Completed
Push — master ( 0ea57d...94aac2 )
by Grégoire
15s queued 12s
created
7.79
▶   ± 0
Head
Grégoire Paris  
Merge pull request #1171 from greg0ire/drop-unmaintained-dependency
1 more commit
Base
Andreas Braun  
Merge pull request #1161 from huebs/patch-1