Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
HirIdification: add key HirId methods #58090
This is another PR in a series dedicated to
Phase 2: add key
These should be counterparts of the most widely used
As a bonus there is also a small cleanup commit removing unnecessary calls to
Click to expand the log.