Revision 76ee243b7ce0d97716ab84dca334274620f5e03e

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

Merge branch '6.13' into 7.3