Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

fix renaming #33

Merged
merged 1 commit into from
Nov 8, 2022
Merged

fix renaming #33

merged 1 commit into from
Nov 8, 2022

Conversation

glimchb
Copy link
Member

@glimchb glimchb commented Nov 8, 2022

see opiproject/opi-api#192

Signed-off-by: Boris Glimcher Boris.Glimcher@emc.com

@glimchb glimchb self-assigned this Nov 8, 2022
see opiproject/opi-api#192

Signed-off-by: Boris Glimcher <Boris.Glimcher@emc.com>
@glimchb glimchb marked this pull request as ready for review November 8, 2022 13:43
@glimchb glimchb requested a review from a team as a code owner November 8, 2022 13:43
Copy link
Contributor

@seroyer seroyer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Being a little more specific in the commit headline would be nice, but this looks fine.

@glimchb glimchb merged commit f091bd7 into opiproject:main Nov 8, 2022
@glimchb glimchb deleted the objectid branch November 8, 2022 13:47
@glimchb
Copy link
Member Author

glimchb commented Nov 8, 2022

Being a little more specific in the commit headline would be nice, but this looks fine.

you are right, being lazy in the morning, sorry ))

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants