ref#9560 bug fixed

1 job for develop in 9 minutes and 28 seconds (queued for 13 seconds)