Merged bug4 into stable
Do not capture output on push
Merge branch 'master' into stable
Added f31
Merged bug8 into master