# HG changeset patch
# User shade
# Date 1493817772 -7200
# Node ID 30a5ac8fea97cddd07378b1c0aa8dec280c660a5
# Parent  d5b546f49cef2058d8bd743486cb2eb0173ee9ca
Update to JMH 1.19.

diff -r d5b546f49cef -r 30a5ac8fea97 pom.xml
--- a/pom.xml	Wed Apr 26 20:37:10 2017 +0200
+++ b/pom.xml	Wed May 03 15:22:52 2017 +0200
@@ -74,7 +74,7 @@
         <!--
             JMH version to use with this project.
           -->
-        <jmh.version>1.18</jmh.version>
+        <jmh.version>1.19</jmh.version>
 
         <!--
             Java source/target to use for compilation.