Skip to content

Rename generated extension classes (targeting main)#377

Merged
kring merged 3 commits intomainfrom
extension-class-rename
Nov 1, 2021
Merged

Rename generated extension classes (targeting main)#377
kring merged 3 commits intomainfrom
extension-class-rename

Conversation

@lilleyse
Copy link
Contributor

@lilleyse lilleyse commented Oct 30, 2021

The original PR targeted a branch that is now in limbo (#373 merged into #372), so I'm opening this into main.

@lilleyse lilleyse requested a review from kring October 30, 2021 19:03
@kring kring merged commit 4dac37c into main Nov 1, 2021
@kring kring deleted the extension-class-rename branch November 1, 2021 00:02
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