Completed
Pull Request — master (#995)
by Freek
03:28 queued 02:14
created

No notable changes

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

9.85
▶   ± 0
Head
Freek Van der Herten  
Merge 3120217d79d56ef1e1635409312f75e4a20e3666 into 15ff6a5b160307ada2641a39616be7ec607d8f72
1 more commit
Base
Nikolay Kirsh  
type fix (#994)