Skip to content

replaced Thread.stop() call with Thread.interrupt() - RobotThreadManager#71

Merged
flemming-n-larsen merged 1 commit into
robo-code:mainfrom
doctorjei:main
Dec 9, 2025
Merged

replaced Thread.stop() call with Thread.interrupt() - RobotThreadManager#71
flemming-n-larsen merged 1 commit into
robo-code:mainfrom
doctorjei:main

replaced Thread.stop() call with Thread.interrupt() in RobotThreadMan…

833a0ad
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs