Revision 380e0d7bf856abc8415f5f7b7b2d008a5e4a3503

Committed on 18/02/2019 3:47 am by Marek Nocon <marek.nocon@ez.no> [GitHub Diff]

Merge branch '6.7' into 6.13