Revision d78e48a7acd46f04a95623bb8f715e0bcf3e0fb1

Committed on 30/07/2018 4:14 am by Dariusz Szut <dew326@gmail.com> [GitHub Diff]

Merge remote-tracking branch 'origin/1.7' into 1.13