For the lazy (me), what's the ticket ID?Good catch. Ticket opened and tagged into this idea.
Edit: sorry I just saw the link at the top, I missed it.
Edit 2: Discussion of the ticket on area51.
Statistics: Posted by danieltj — Fri May 31, 2024 9:12 pm