Revision df9c4e3dafda5df6afb4f0674427221c0f344575

Committed on 12/03/2019 5:55 am by Adam Wójs <adam.wojs@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.3