Revision 6c5c51a7d9d90cda6d970949bcb83a5b00a82637

Committed on 13/02/2019 10:25 am by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.3