version 1.3.1-dev4

tol is now considered as a float when given in config file
3 jobs for dev in 5 minutes and 34 seconds (queued for 14 seconds)
latest