Revision 299dc7f6159997c7ae4ae3ceeef6560e9640eba4

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

Merge branch '6.7' into 6.13