Revision dfa22d6c0ad9a6633f1ba62911d643ec544c3fa3

Committed on 05/07/2018 11:02 pm by Dariusz Szut <dew326@gmail.com> [GitHub Diff]

Merge remote-tracking branch 'origin/1.13'