From 89ff76499f382f522b738b7ddb67299fc571ca1f Mon Sep 17 00:00:00 2001
From: Knut Ahlers <knut@ahlers.me>
Date: Tue, 17 Apr 2018 11:31:55 +0200
Subject: [PATCH] prepare release v0.7.1

---
 History.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/History.md b/History.md
index 8e69925..015da94 100644
--- a/History.md
+++ b/History.md
@@ -1,3 +1,7 @@
+# 0.7.1 / 2018-04-17
+
+  * Fix: Jenkins targets might have dependencies
+
 # 0.7.0 / 2018-04-17
 
   * Add make-jenkins filter to find Makefiles with `jenkins` target