Revision cb37ff94653f05ade0daa6bd0cad2b422f251d86

Committed on 16/01/2019 7:10 am by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '6.7' into 6.13