update docker repo

This commit is contained in:
Sebastian Hugentobler 2018-11-27 08:36:38 +01:00
parent 707b1ceb92
commit 8a13323f39