SIGN IN SIGN UP

Fix #8684: make sched.scheduler class thread-safe

G
Giampaolo Rodola' committed
73520d57ebfb1272d009a070191e749caebf64ae
Parent: a23d65c