Pin docker version to 19.03.8
Our CI machine runs a Docker version which is too old otherwise. Hopefully to be fixed in the near future
Our CI machine runs a Docker version which is too old otherwise. Hopefully to be fixed in the near future
This will create a new commit in order to revert the existing changes.