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

* Pin Docker to Debain Stretch

* Update dev docker too"

2019-07-17 14:05:00 -07:00

..

Docker

Pin Docker to Debain Stretch (#25206)

2019-07-17 14:05:00 -07:00

vagrant

Update Vagrant Windows support (#17205)

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