#1034 PR merged
: Merge pull request #1010 from rear/master¶
gdha opened issue at 2016-10-13 11:22:¶
sync master rear-1.19 branch with dev tree
[Export of Github issue for rear/rear.]