Revision 955b8f9fb064c6d0612571691804b1d2e4eec848

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

Merge remote-tracking branch 'origin/1.13'