Task #5385: [mol] Do not crash when querying unused timers (useful when...
Task #5385: [mol] Do not crash when querying unused timers (useful when disabling kernels during debug sessions)
Please register or sign in to comment
Task #5385: [mol] Do not crash when querying unused timers (useful when disabling kernels during debug sessions)