Revision 4b4e787b71b4fcf8e70b008f22a0fd7394750782

Committed on 20/12/2019 12:56 am by Maciej Kobus <maciej.kobus@ez.no> [GitHub Diff]

Merge remote-tracking branch 'origin/2.5'