On Tue, 18 Feb 2025 13:50:02 +0100 Edgar Fuß <e...@math.uni-bonn.de> wrote:
> > all went in around June 2018, just before the 8.0 release > But -8 works fine! I get the errors on -10. Yes. These went in so close to th 8.0 release that the branch was already cut and commits to -current wouldn't hit 8.0. have fun Michael
