From 65fa90fee296d539a6a246647d738fd8f01529c7 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 21 Jul 2020 19:33:12 +0000
Subject: [PATCH] update registry tagname

---
 binder/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binder/Dockerfile b/binder/Dockerfile
index e76ff95..e43b099 100644
--- a/binder/Dockerfile
+++ b/binder/Dockerfile
@@ -1,2 +1,2 @@
 ### DO NOT EDIT THIS FILE! This Is Automatically Generated And Will Be Overwritten ###
-FROM heidelbergcementds/hcrystalball:d0791964278a
+FROM heidelbergcementds/hcrystalball:571b04737f93
\ No newline at end of file