Revision bd315bd27507fbc25c493d2630cd3326bca69dec

Committed on 21/03/2019 6:27 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '6.7' into 6.13