Skip to content

Fix for GUI when reindexing procedure is interrupted#597

Merged
ptagl merged 1 commit intomainfrom gp/reindexing_GUI_fixAug 30, 2023

Commits

Commits on Aug 29, 2023