From 9088b1788b876b208a6b7a4b172a7bc582c49c09 Mon Sep 17 00:00:00 2001
From: Bernhard Urban <bernhard.urban@xamarin.com>
Date: Mon, 13 Mar 2017 16:46:49 +0100
Subject: [PATCH] trigger CI build

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index bd8ff8ca..58098cc7 100644
--- a/README.md
+++ b/README.md
@@ -96,3 +96,4 @@ Each benchmark requires a `.benchmark` file. The files in the `benchmarks` direc
 ### Building
 
     make -C front-end
+