#1122 PR merged: workaround for #1077¶

Labels: enhancement, fixed / solved / done

amtuannguyen opened issue at 2016-12-13 13:21:¶

---

[Export of Github issue for rear/rear.]