Release 6.2 trunk

Update TODO trunk

Tidy: no need to import glob anymore. trunk

Be more careful on SIGINT/SIGKILL cleanup. trunk

(0) -30 -10 -4 +4 +10 +30 tip

mercurial