#1111 PR merged: fix spelling errors ('whether' and 'unnecessary')¶

Labels: documentation, fixed / solved / done, minor bug

dominikr opened issue at 2016-12-07 15:16:¶

jsmeix commented at 2016-12-07 16:40:¶

Many thanks for your careful reading of our texts
and for your corrections.

---

[Export of Github issue for rear/rear.]