[bob-devel] update bob-devel

2 jobs for bob-devel-update in 70 minutes and 50 seconds (queued for 1 second)