Hi! No extra rush or anything, just noticed the last release was a while ago and felt like reducing the chances of this bump slipping through. Best, Sebastian
(In reply to Sebastian Pipping from comment #0) > No extra rush or anything, just noticed the last release was a while ago In fact, 11.90 was released about 20 hours ago. :) > and felt like reducing the chances of this bump slipping through. Bumped. Thank you.