[joshmanders]

That issue looks open to me, and there is no notice in it that it was ever closed. It does however have another issue made after it reporting the same thing and a collaborator closed that issue citing it being a dupe.

[ComputerGuru]

Sorry, you are correct and I take that back unreservedly.