Revision 0c13c800a7afe4c52e619cfec9ea8d51937a145c

Committed on 10/02/2020 4:19 am by Tomasz Kryszan <tomasz.kryszan@ez.no> [GitHub Diff]

Merge tag 'v2.5.8'