Revision c3185e544d464864b5e81f2827237044572fe415

Committed on 15/01/2019 9:47 pm by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13' into 2.3