ref#9560 bug fixed

1 job for develop in 9 minutes and 30 seconds (queued for 2 minutes and 34 seconds)