Closed cpsievert closed 2 years ago
Closes #120
Merging now since this should be a non-controversial important change. I also want to see if this'll trigger GHA actions to run
Closes #120