Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Let's not worry about using reserved words as record fields for now. It would technically work OK but I'm not sure how important it is. See #1177 for the fix to the root issue that let this through the merge process.
- Loading branch information