Merge pull request #9067 from thedrow/patch-1
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 23 May 2018 12:35:39 +0000 (14:35 +0200)
committerGitHub <noreply@github.com>
Wed, 23 May 2018 12:35:39 +0000 (14:35 +0200)
Enable ccache and mount it into the build/test container


Trivial merge