Skip to content

Remove useless headers#18881

Merged
alexey-milovidov merged 1 commit intomasterfrom
remove-useless-headers-2
Jan 9, 2021
Merged

Remove useless headers#18881
alexey-milovidov merged 1 commit intomasterfrom
remove-useless-headers-2

Conversation

@alexey-milovidov
Copy link
Copy Markdown
Member

Changelog category (leave one):

  • Not for changelog (changelog entry is not required)

@robot-clickhouse robot-clickhouse added the pr-not-for-changelog This PR should not be mentioned in the changelog label Jan 9, 2021
@alexey-milovidov alexey-milovidov self-assigned this Jan 9, 2021
@alexey-milovidov
Copy link
Copy Markdown
Member Author

Build Ok.

@alexey-milovidov alexey-milovidov merged commit b257732 into master Jan 9, 2021
@alexey-milovidov alexey-milovidov deleted the remove-useless-headers-2 branch January 9, 2021 08:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-not-for-changelog This PR should not be mentioned in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants