There's a bug subscriber, and this is already in main -- closing as Fix Released so it's finally out of the MIR buglist.
There's a bug subscriber, and this is already in main -- closing as Fix Released so it's finally out of the MIR buglist.