Revision 8e8e882dc29a81e38205510bd8de09ec6dac4838

Committed on 17/09/2018 7:38 am by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '6.7' into 6.13