Travis: Initiating build for commit 'ed3f588eba8580eac6527e846707f2a0019f484d' on branch 'master': Fixes #4828 no comment