Completed
Pull Request — master (#14)
by Pierre
04:43 queued 02:48
created

No notable changes

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

10
▶   ± 0
Head
Pierre Tachoire  
Merge 3f8366e100f72d3b1f858c49df08bc79fff6ad8d into 8d0ccf9b985e36eac2d13c6ed2313eacce0399d4
1 more commit
Base
Pierre Tachoire  
Merge pull request #13 from krichprollsch/scrutinizer