From c0645ab839dd051f4f91581615ee2887e250fddd Mon Sep 17 00:00:00 2001
From: Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
Date: Sun, 30 Oct 2016 19:46:42 -0400
Subject: [PATCH] use latest Criterion version for some required bug fixes

---
 thirdparty/criterion | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thirdparty/criterion b/thirdparty/criterion
index 1b687a9f6..101d0e0f3 160000
--- a/thirdparty/criterion
+++ b/thirdparty/criterion
@@ -1 +1 @@
-Subproject commit 1b687a9f6a0e51c9e9b0a047e1fcd6c94de7a080
+Subproject commit 101d0e0f3a71c414c7d2a7a2a2fa465969b6b667