Skip to content

Conversation

@SimonCropp
Copy link
Member

to reduce the change of conflicts in consuming projects

@SimonCropp SimonCropp added this to the 3.0.0 milestone Oct 16, 2022
@SimonCropp SimonCropp merged commit 02acc86 into main Oct 16, 2022
@SimonCropp SimonCropp deleted the rename-Extensions-to-FileExtensions branch October 16, 2022 21:40
@github-actions github-actions bot restored the rename-Extensions-to-FileExtensions branch October 16, 2022 21:41
@SimonCropp SimonCropp deleted the rename-Extensions-to-FileExtensions branch October 16, 2022 21:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants