Completed
Push — master ( 922de2...d10835 )
by
unknown
19s queued 10s
created
6.4
▶   ± 0
Head
Björn Ricks  
Merge pull request #316 from jjnicola/deprecated
7 more commits
Base
Björn Ricks  
Merge pull request #310 from ArnoStiefvater/merge-into-master