2 ms·
Thank you for the correction. It was a typo, but it’s unfortunately too late to edit the post.
by latexr 2y ago
Thank you for the correction. It was a typo, but it’s unfortunately too late to edit the post.
- stavros 2y agoNo problem, I wasn't sure so I had to go looking, and I figured I'd post a correction for anyone who saw it.