Revision 002d692640266d7f8c056c150ae99c06d2987bbf

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

Merge branch '7.2'