Revision dafbc4a37113982732f8cb93d81e516c4a23b843

Committed on 07/05/2018 6:06 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.13' into 2.1