Revision 560308c9d22c2b68dce420af6288e241ea6ba980

Committed on 15/02/2019 12:09 pm by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '7.4'