As it turns out, this bug was already in the tracker: #11171
1 file changed