Closed sgraf812 closed 2 months ago
Fixes #273. CC @andreasabel
Alright, I added another commit setting a lower bound on base >= 4.9, simply because we discussed the issue here. I will merge soon. We can always revert if someone feels overlooked.
base >= 4.9
Fixes #273. CC @andreasabel