Completed
Push — master ( 2bdcc7...28b857 )
by David
14:51 queued 13s
created

No notable changes

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

9.53
▶   ± 0
Head
David Buchmann  
Merge pull request #1207 from florianajir/master
8 more commits
Base
Fabien Bourigault  
Merge 3b2c42433a5ef0564c1e61317590e88413347cb1 into 4d6ab0377c8757ab0497f0e042d53f04a8a337bf