Passed
Pull Request — master (#140)
by Jan
03:49 queued 01:42
created

No notable changes

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

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