Philip Munksgaard writes: > This issue has been fixed by #48943 and should be closed.
You can close a bug report by emailing [email protected] where NNN is the bug number. For the body of the email you can say something like "Closing because <reason>".
