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.

Sign up for GitHub

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

Jump to bottom

Azure SQL Workspace Service #45

Closed

jonnyry opened this issue Jun 5, 2024 · 1 comment

Assignees

Labels

enhancement logged u/s merged u/s PR sent u/s

jonnyry commented Jun 5, 2024 •

edited

Loading

Logged upstream microsoft#3969
PR sent upstream microsoft#3970

jonnyry added the enhancement label

jonnyry self-assigned this

jonnyry added the logged u/s label

jonnyry added the PR sent u/s label

Author

jonnyry commented Jul 15, 2024

Now merged.

jonnyry added the merged u/s label

jonnyry closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment