Revision 5aee85dd070a090824755ab74bdd2c486e2f741b

Committed on 10/08/2018 4:46 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '2.2'