Release v3.9.4

3 jobs for master in 19 minutes and 52 seconds (queued for 2 seconds)