Completed
Push — master ( 603763...14c768 )
by Juan José
18s queued 10s
created

No notable changes

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

7.23
▶   ± 0
Head
Juan José Nicola  
Merge pull request #285 from bjoernricks/update-pylint
1 more commit
Base
Björn Ricks  
Merge pull request #284 from bjoernricks/update-pr-template