Skip to content

fix: Rename cr version#113

Merged
wtrocki merged 1 commit intomasterfrom
minor-cr-rename
Dec 3, 2020
Merged

fix: Rename cr version#113
wtrocki merged 1 commit intomasterfrom
minor-cr-rename

Conversation

@wtrocki
Copy link
Collaborator

@wtrocki wtrocki commented Dec 3, 2020

No description provided.

@wtrocki wtrocki requested a review from craicoverflow December 3, 2020 11:34
@wtrocki wtrocki merged commit a69c829 into master Dec 3, 2020
@wtrocki wtrocki deleted the minor-cr-rename branch December 3, 2020 11:44
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