Console Output

[common-stage_2-merge_v13.0] Running shell script
+ git checkout -f 303ffe4f33c7a0fcc6b5c267d402c0e7d44e5a57
HEAD is now at 303ffe4 Fix bug 2231: reverse_sync in fsmongo obtains file timestamp with UTC timezone instead of local timezone, so that filesystem and mongodb timestamps are correctly compared