Bump bob-devel

2 jobs for bump-bob-devel in 44 minutes and 37 seconds (queued for 1 second)