Revision 1127f20dce69c208bb1f8def7c0eab2a7cb1d887

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

Merge branch '6.13' into 7.3