Closed mathomp4 closed 2 years ago
As found by @dr0cloud, it looks like a bad copy-paste happened. So we fix it up. 😄
I didn't make an issue for this since it's so minor, but if you'd like me to for record-keeping, let me know.
As found by @dr0cloud, it looks like a bad copy-paste happened. So we fix it up. 😄
I didn't make an issue for this since it's so minor, but if you'd like me to for record-keeping, let me know.