Revision 9f8c3471e388f54d26b75ef338bc3321c1eeabfd

Committed on 15/02/2019 5:05 am by Kamil Madejski <kamil.madejski@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.3