diff options
author | Thomas Müller <DeepDiver1975@users.noreply.github.com> | 2016-06-14 10:53:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-14 10:53:30 +0300 |
commit | d0a2515e2b08bffac3e3f447cc78c24f372a0589 (patch) | |
tree | ba32f483ea46ba361a65411df26f320ac1a82c8c | |
parent | 5887afbb37a81df64e2d1b5f55648785d2d5af55 (diff) |
Us an explicit version of sabre/dav to allow caching on the jenkins slaves - fixes #25087 (#25088)
-rw-r--r-- | build/integration/composer.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/integration/composer.json b/build/integration/composer.json index 9e5335c4b24..29f73f2064a 100644 --- a/build/integration/composer.json +++ b/build/integration/composer.json @@ -4,6 +4,6 @@ "behat/behat": "^3.0", "guzzlehttp/guzzle": "~5.0", "jarnaiz/behat-junit-formatter": "^1.3", - "sabre/dav": "3.0.x-dev" + "sabre/dav": "3.0.9" } } |