Revision f4c921e4448aae3e03bad3a27af13fc8250fc327

Committed on 24/09/2018 9:21 am by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '6.13' into 7.2