Passed
Pull Request — master (#162)
by Michael
07:19 queued 03:57
created

No notable changes

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

8.49
▶   ± 0
Head
Michael Moll  
Merge ff6a47d198c6d45c637a2128ec40a9d79084bcbd into 5801f545504c24ac399232c06c87529441c61a7b
1 more commit
Base
Michael Moll  
Extend Phan analysis