Travis: Initiating build for commit 'a3b4798c4ea0d85cc05ff737d9254b5e92713912' on branch 'codecoverage': Merge branch 'master' into codecoverage