From 1c3d37c244767b07e2cd75995222cef85398bb63 Mon Sep 17 00:00:00 2001
From: Steffen Vogel <post@steffenvogel.de>
Date: Sat, 17 Jun 2017 03:52:19 +0200
Subject: [PATCH] docker: build version of Fedora base image

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

diff --git a/Dockerfile.dev b/Dockerfile.dev
index 69e98699b..56f163f17 100644
--- a/Dockerfile.dev
+++ b/Dockerfile.dev
@@ -28,7 +28,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 ###################################################################################
 
-FROM fedora:latest
+FROM fedora:25
 MAINTAINER Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
 
 # Toolchain