Completed
Push — master ( 409bdf...6e6443 )
by Stephan
07:07 queued 04:39
created

No notable changes

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

7.18
▶   ± 0
Head
Stephan Groen  
Merge pull request #305 from DannyvdSluijs/feature/improve-user-script-type-mapping
1 more commit
Base
Stephan Groen  
Merge pull request #303 from DannyvdSluijs/feature/correct-type-hint