Skip to content

SlicedProgressMonitor: fix canceled()#428

Closed
jukzi wants to merge 1 commit intoeclipse-equinox:masterfrom jukzi:SlicedProgressMonitorCancel
+1

Commits

Commits on Dec 11, 2023