Compare commits

...
A pull request between these branches already exists: entrouvert/chrono#70

misc: improve use of spooler (#76419) #70