Merge branch '4.1.0'
authorRui Marinho <me@ruimarinho.net>
Sat, 29 Jun 2019 14:19:17 +0000 (15:19 +0100)
committerRui Marinho <me@ruimarinho.net>
Sat, 29 Jun 2019 14:19:17 +0000 (15:19 +0100)

Trivial merge