Skip to content

Conversation

@moonchen
Copy link
Contributor

We are not using anything from that header.

We are not using anything from that header.
@moonchen moonchen merged commit 172fd5a into apache:master Jun 28, 2023
@moonchen moonchen deleted the remove_hdreg branch June 28, 2023 20:33
@randall randall added this to the 10.0.0 milestone Jun 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants