+ git checkout -f b3a788bc991d2df788dbd30a97befa782af94b5f Previous HEAD position was db110374 Updated nightly build HEAD is now at b3a788bc Updated nightly build
