Mikkel Kroman 73f0f8fe43 Fix Docker images having the wrong platform (#952) ... * travis: Update Docker and add experimental support * travis: Build images with experimental --platform * Update docker.sh		2019-01-27 20:32:52 +01:00
..
docker.sh	Fix Docker images having the wrong platform (#952)	2019-01-27 20:32:52 +01:00
trigger-downstream.sh	Update trigger-downstream.sh to dev branch	2018-08-13 19:21:55 +02:00