Closed kritzcreek closed 1 year ago
This PR can be cleaned up a bit (i.e. dropping the license header that is no longer required) but is otherwise ready to merge. The question here is whether this code should be added. I don't see any harm in doing so.
Cleaning up my open PR. I don't think this function ended up being needed as it's been sitting here for a while.
This PR can be cleaned up a bit (i.e. dropping the license header that is no longer required) but is otherwise ready to merge. The question here is whether this code should be added. I don't see any harm in doing so.