Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deleted decades ago in commit 6e0fed2 Note also that we eventually ended up reinventing this exact same functionality. It is called rb_check_id() now.
- Loading branch information