Passed
Pull Request — master (#140)
by Jan
04:08 queued 01:52
created

No notable changes

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

9.56
▶   ± 0
Head
Jan Metzger  
Merge ad14736bbf3878bb2917eda0001e3daab678314f into 634978ac3a17a52e0797cb3168bd409204ae6a0b
9 more commits
Base
Jan Metzger  
Merge pull request #141 from pbricout/use-satisfies-operator