v4.2.7

7 jobs for devel in 44 minutes and 43 seconds (queued for 3 seconds)