Skip to content

Remove sidebar header when deleting the currently selected resource#8886

Merged
kulmann merged 1 commit intomasterfrom fix-sidebar-header-after-resource-deletionApr 21, 2023

Commits

Commits on Apr 21, 2023