Completed
Push — master ( 0d72ac...d54bdf )
by Christophe
23s queued 20s
created

No notable changes

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

???
Head
Christophe Coevoet  
Merge pull request #255 from nicolas-grekas/patch-2
1 more commit
Base
Christophe Coevoet  
Merge pull request #251 from stof/static_analysis