Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove a dead (ownership-related) class (#3004)
## Changes This PR trivially removes a dead class; this was detritus left over from an intermediate version of the ownership mechanism that limited `Record` to `dataclass` classes. However this limitation was removed prior to the original code being merged (and the mechanism can be used with any class).
- Loading branch information