CI: use a previous Docker image (!135) · Merge requests · GNOME / Settings · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):docker into master Jul 10, 2018

See !109 (comment 263396).

Lets wait the bots.