Revision d2cb351518fa4068e3a817750d386799bb41034e

Committed on 25/01/2019 4:49 am by Andrew Longosz <andrzej.longosz@ez.no> [GitHub Diff]

Merge branch '6.7' into 6.13