Revision c099009bb7454682214805592da79182879c3f6a

Committed on 04/10/2019 1:58 am by André R <ar@ez.no> [GitHub Diff]

Merge branch '1.8' into 1.9