Closed alexmturner closed 5 months ago
These variables were used for indexing into global maps, but are not necessary.
Preview | Diff
@linnan-github @arichiv, PTAL. Thanks!
Can I be made a contributor? Right now I cannot really approve or merge PRs
Edit: Looks like I can approve, just not merge. It's okay not to be a contributor then
These variables were used for indexing into global maps, but are not necessary.
Preview | Diff