Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Builtins] Remove stale comment. NFC
The header name was made a separate string more than 12.5 years ago. I think it was part of the attribute string for less than a week.
- Loading branch information