# HG changeset patch
# User shade
# Date 1520245028 -3600
# Node ID b08aea96bec49faf90ba51517234c1f7af9d9485
# Parent  99796a2ba4e54c4d8764540ef0d5400bdc7387ed
Upgrade to JMH 1.20

diff -r 99796a2ba4e5 -r b08aea96bec4 pom.xml
--- a/pom.xml	Mon Mar 05 11:16:08 2018 +0100
+++ b/pom.xml	Mon Mar 05 11:17:08 2018 +0100
@@ -73,7 +73,7 @@
         <!--
             JMH version to use with this project.
           -->
-        <jmh.version>1.19</jmh.version>
+        <jmh.version>1.20</jmh.version>
 
         <!--
             Java source/target to use for compilation.