Revision d78e48a7acd46f04a95623bb8f715e0bcf3e0fb1

Committed on 30/07/2018 4:14 am by Dariusz Szut <[email protected]> [GitHub Diff]

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