On Thu, Aug 18, 2016 at 7:38 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:> Thanks, pushed for master and 9.6.
Cool. Thanks for the commit.-- Michael