Skip to content

Conversation

@Polleps
Copy link
Member

@Polleps Polleps commented Jul 1, 2025

Related Issues

closes #1087

Checklist

  • Add changelog entry linking to issue, describe API changes
  • Add or update tests if needed
  • Update docs if needed

@joepio
Copy link
Member

joepio commented Jul 8, 2025

lgtm

@Polleps Polleps merged commit 6190ddc into develop Jul 10, 2025
0 of 2 checks passed
@Polleps Polleps deleted the subresource-deletion-fix-#1087 branch July 10, 2025 07:49
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.

Deleting a resource no longer removes it from the sidebar

3 participants