Revision 0bdf49918e6d80e293298cf48691d05d20ba8575

Committed on 21/01/2020 2:50 am by MichaƂ Grabowski <michal.grabowski@ez.no> [GitHub Diff]

Merge remote-tracking branch 'origin/1.5'