Revision 21afcde13d885da79497113ced12fbcea66bdd27

Committed on 01/11/2019 5:41 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '2019.03'