Skip to content

Fix panic when calling delete_table() for a table that is open#716

Merged
cberner merged 2 commits intomasterfrom deleteNov 7, 2023