Revision 71ca773b4e1ec20f60535a6ec28498c974e9e827

Committed on 25/01/2019 5:29 am by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '7.3' into 7.4