Merge "CI: Use tmpfs option to Docker instead of mount."
authorGeorge Joseph <gjoseph@digium.com>
Wed, 20 Feb 2019 14:31:33 +0000 (08:31 -0600)
committerGerrit Code Review <gerrit2@gerrit.digium.api>
Wed, 20 Feb 2019 14:31:33 +0000 (08:31 -0600)

Trivial merge