Skip to content

[libc] rename newhdrgen to just hdrgen #117254

Closed
@nickdesaulniers

Description

@nickdesaulniers

Once old hdrgen is deleted (#117208), we should renamed newhdrgen to just hdrgen. This bug can also help us track other todo/related cleanups from the removal of old hdrgen.

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions