Paulus Schoutsen 8f7767d5e5 Pin Docker to Debain Stretch (#25206) ...

* Pin Docker to Debain Stretch

* Update dev docker too"

2019-07-17 14:04:13 -07:00

..

Docker

Pin Docker to Debain Stretch (#25206)

2019-07-17 14:04:13 -07:00

vagrant

Update Vagrant Windows support (#17205)

2018-10-13 23:02:00 +02:00