Passed
Pull Request — master (#39)
by Andrey
06:25 queued 03:16
created

No notable changes

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

9.6
▶   ± 0
Head
Andrey  
Merge f9dbd19a37dfe909819f0bd706c18f591f7d8d4e into 653ecfb6b48c0886e1bae8701894149ca8641632
1 more commit
Base
Daan  
Add CheckPossibilityTermExtension