Revision ba18cbe0d33b9ae7cf414dd98f11a8edbf0767bf

Committed on 27/02/2019 8:11 am by Pawel Bujakowski <pawelbujakowski@gmail.com> [GitHub Diff]

Merge branch '6.13' into 7.3