From eba002a3daf005c5915a93e8b1ebd3f986494bd8 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Sat, 26 Jan 2019 09:43:11 +0100
Subject: [PATCH] Bump

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

diff --git a/Dockerfile b/Dockerfile
index 20d91cb..832772c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -24,7 +24,7 @@ RUN apt-get update && apt-get install -y \
     cd /root && \
     git clone https://github.com/bebbo/amiga-gcc.git && \
     cd /root/amiga-gcc && \
-    git checkout -qf 74ae7ebb0c6a3b9b7ef4b33c89949f6b0756bbb4 && \
+    git checkout -qf c5d3a302f2f308f57845f5fd817bab63ba04e092 && \
     mkdir -p /opt/amiga && \
     make update && \
     make all && \