Passed
Push — master ( 9f86f4...cee204 )
by
unknown
08:11 queued 05:52
created

Changes

1 issue (minor) was introduced.
1 new patch (Spacing) is available.
2 added classes/operations
Arrow F simplifyRestriction() added
Arrow A prop2Str() added
3.07
▼   -0.05
Head
Mike Williams  
Merge branch 'gweb278' into 'master'
3 more commits
Base
Mike Williams  
Merge branch 'gweb-292' into 'master'