Completed
Push — master ( 61829c...fc9fbd )
by Diederik van der
57s
created

No notable changes

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

7.63
▶   ± 0
Head
Diederik van der Boor  
Merge pull request #115 from facconi/master
2 more commits
Base
Diederik van der Boor  
Merge pull request #118 from mikek/manager-iterator-checks