> Is this a typo for a different bug number?
(Found the right bug number and corrected it, some time ago already. Adding a follow-up just to make this a bit less mysterious to the newcomer.)
> Is this a typo for a different bug number?
(Found the right bug number and corrected it, some time ago already. Adding a follow-up just to make this a bit less mysterious to the newcomer.)