Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Update server APIs for dev10 #645

Merged
merged 2 commits into from
Nov 7, 2023
Merged

Update server APIs for dev10 #645

merged 2 commits into from
Nov 7, 2023

Conversation

ninad-kamat
Copy link
Contributor

No description provided.

@ninad-kamat ninad-kamat self-assigned this Nov 6, 2023
@github-actions github-actions bot added the maintenance Package and maintenance related label Nov 6, 2023
@ninad-kamat ninad-kamat enabled auto-merge (squash) November 7, 2023 03:26
Copy link
Contributor

@prajaktmahajan prajaktmahajan left a comment

Choose a reason for hiding this comment

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

approved

@ninad-kamat ninad-kamat merged commit aa8ab22 into main Nov 7, 2023
21 checks passed
@ninad-kamat ninad-kamat deleted the maint/dev10_update branch November 7, 2023 05:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Package and maintenance related
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants