Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Leo and I were looking over this code and I couldn't remember what it was doing. So after I re-derived its purpose, we figured that an explanatory comment was in order. (imported from commit ce984362e2b504b40f3d3586777bd73691ad5ea7)
- Loading branch information