Revision f9954ecb7607d582d9f97b368eded999dbe0cd3d

Committed on 06/03/2019 9:25 am by Nattfarinn <nattfarinn@gmail.com> [GitHub Diff]

Merge remote-tracking branch 'origin/7.2' into HEAD