Closed pataquets closed 1 month ago
Thanks!
Anything else needed here to merge, @drewcsillag? As you've approved the PR already a couple weeks ago, I thought somebody else had the commit rights to merge. But as I've just checked, you are a also a repo commiter. Might it be you forget to hit the merge button, by any chance? 😁
Doh! I totally spaced. Merging
As discussed on #87.