Closed poolis closed 8 months ago
Issue #, if available:
Description of changes: satisfies$default$2 -> satisfies$default$3
satisfies$default$2
satisfies$default$3
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Issue #, if available:
182
Description of changes:
satisfies$default$2
->satisfies$default$3
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.