From 56def16bb2261bf7adc5aed5c9b2ae887ea1ab17 Mon Sep 17 00:00:00 2001
From: Max Bothe <max.bothe@hpi.de>
Date: Mon, 12 Aug 2019 15:18:13 +0200
Subject: [PATCH] Force new build number