Revision 1e5308d8ea55b92fcd340d2c7b9d68c28c056ba7

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

Merge branch '6.13' into 7.2