Revision 5bae03c33f4d06dd4ff8f6080f8519e8dda60fcb

Committed on 05/07/2018 2:31 am by Kamil Madejski <kamil.madejski@ez.no> [GitHub Diff]

Merge branch '1.2' into 2.0