John: It might be worth opening a new bug report about your observation, since this was marked as fixed in releases made 7 years ago.
John: It might be worth opening a new bug report about your observation, since this was marked as fixed in releases made 7 years ago.