You should open a new issue for that! Best to err on the side of unnecessarily opening a new bug in general, too - they're cheap!
You should open a new issue for that! Best to err on the side of unnecessarily opening a new bug in general, too - they're cheap!