Console Output

[NBI-stage_2_master] Running shell script
+ git checkout -f dedac54b67982feff0f1b32651e1ed56bdc7474c
Previous HEAD position was 48683b8 Bug 1830 fixed: maps completed operations to original operation types
HEAD is now at dedac54 Coverity(phase2)-CWE 330: Use of Insufficiently Random Values