Skip to content

Fix file headers that now become errors#2684

Merged
premun merged 1 commit intodotnet:mainfrom
premun:prvysoky/headers
Jun 20, 2023
Merged

Fix file headers that now become errors#2684
premun merged 1 commit intodotnet:mainfrom
premun:prvysoky/headers

Conversation

@premun
Copy link
Copy Markdown
Member

@premun premun commented Jun 20, 2023

This is due to #1945

#2678

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.

2 participants