Thanks for pushing! > BTW, your mail client garbles patches with rewraps and newlines, see: > http://mail.openjdk.java.net/pipermail/jmh-dev/2017-May/002578.html > Oh damn - will check the settings for this mailing list again. Cheers, Christoph P.S.: See this mail as a test for the formatting.