Revision 47e42cde4b80abce0e94145f790f96b88b6cbe7c

Committed on 26/05/2020 7:45 am by Gunnstein Lye <gunnstein.lye@ez.no> [GitHub Diff]

Merge branch '2019.03'