Merge branch 'release-0.42.2'
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Thu, 28 Jun 2018 12:40:23 +0000 (14:40 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Thu, 28 Jun 2018 12:40:23 +0000 (14:40 +0200)
commit282f6035e7c36f8550d91033e3a66718468c6c8b
tree73cee916bcf0239cbbf9d1a555f58e373bb6244f
parent2955f93fc63f658797afa8690f4f39198054db45
parent360fa12213fe85b2f1ffa18f5d4d5301ca43a721
Merge branch 'release-0.42.2'