+ git checkout -f edb49236591bc18c406115d2585c00b5dba02dca Previous HEAD position was 496d289c Updated nightly build HEAD is now at edb49236 v1.25.3
