Revision f76478ae3148fb5192279a114cdb490d95768f05

Committed on 17/09/2018 1:45 am by Mateusz Bieniek <mateusz.bieniek@ez.no> [GitHub Diff]

Merge branch '1.13'