20 Sep
2019
20 Sep
'19
12:50 a.m.
Matthew Pickering
I also really think we should fix 15455 before 8.10 is released.
It's a major space leak in the simplifier which has already been present for 3 major versions now which affects a popular package.
Yes, it's on my list. Cheers, - Ben