Closed Jman420 closed 1 year ago
@dragorn Just noticed that these commits have been committed to main somehow. Any opposition to closing this PR since the changes have been adopted?
Yeah I'm not sure why it didn't mark the PR as merged; likely i did something wrong which confused github about it. I'll mark this as closed tho here, manually.
Thanks, we'll take a look!