doc: Remarks from Rutger.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 9 Jul 2018 17:59:54 +0000 (19:59 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Jul 2018 20:30:00 +0000 (22:30 +0200)
commita4943c1db17ff30ce22ce8c16bd9bd5c8d320c75
tree82b91bb6878c95090f271d1e8e3c96e110677d51
parent9ad4c789d7ff0771e4e07267b655a127dd045371
doc: Remarks from Rutger.

* doc/mes.texi: Remarks from Rutger.
doc/mes.texi