#1243 PR merged: Sync dev/master branches

Labels: fixed / solved / done

gdha opened issue at 2017-03-14 17:07:

[Export of Github issue for rear/rear.]