tree 1a8febdb66d40004af7a2668bd5b7d1249602cf5
parent a23d65ccfe3b8f618bf3dde4d0d27895e764367e
author Giampaolo Rodola' <g.rodola@gmail.com> 1323866066 +0100
committer Giampaolo Rodola' <g.rodola@gmail.com> 1323866066 +0100
HG:rename-source hg

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