Thanks for reporting back. Marking "Fix released", since when it's fixed in 8.04 already, it is even better (than when it's fixed in 8.10 only).
Thanks for reporting back.
Marking "Fix released", since when it's fixed in 8.04 already, it is even better (than when it's fixed in 8.10 only).