From e1ed19ea46cab1f0c02c017dc5be4ff88e409d56 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Miroslav=20Bajto=C5=A1?= <mbajtoss@gmail.com>
Date: Mon, 6 May 2019 09:49:00 +0200
Subject: [PATCH] dummy commit to trigger downstream builds

---
 DO-NOT-MERGE.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 DO-NOT-MERGE.txt

diff --git a/DO-NOT-MERGE.txt b/DO-NOT-MERGE.txt
new file mode 100644
index 000000000..362be6cf3
--- /dev/null
+++ b/DO-NOT-MERGE.txt
@@ -0,0 +1 @@
+DO NOT MERGE THIS PULL REQUEST