From b8c5337875080b95ed0d05510f2ff226abf235b8 Mon Sep 17 00:00:00 2001
From: Florian <Beliaz@users.noreply.github.com>
Date: Tue, 17 Apr 2018 18:58:45 +0200
Subject: update google benchmark to 1.4.0 (#3237)

---
 ports/benchmark/CONTROL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ports/benchmark/CONTROL')

diff --git a/ports/benchmark/CONTROL b/ports/benchmark/CONTROL
index 5b56de372..9853a1509 100644
--- a/ports/benchmark/CONTROL
+++ b/ports/benchmark/CONTROL
@@ -1,3 +1,3 @@
 Source: benchmark
-Version: 1.3.0-1
+Version: 1.4.0
 Description: A library to support the benchmarking of functions, similar to unit-tests.
-- 
cgit v1.2.3