Revision c91efb98d4323dc9c2ea391bae758acc0e725d6f

Committed on 08/03/2019 5:01 am by Andrew Longosz <alongosz@users.noreply.github.com> [GitHub Diff]

Merge branch '6.13' into 7.3