diff options
author | Josh Soref <jsoref@users.noreply.github.com> | 2017-01-18 18:20:12 -0500 |
---|---|---|
committer | Phil Pennock <pdp@exim.org> | 2017-01-18 18:22:02 -0500 |
commit | 6aa6fc9c5304536913bc585d0395093213fce72d (patch) | |
tree | 057428434ecf93e59492b3f84a18b8f1fdc67335 /doc | |
parent | df958af47d8995896ae25882f4a3564f378ef8e4 (diff) |
spelling: Mavrogiannopoulos
Committer note: the name was spelt as was used by Nikos at the time, but
he's since switched to the other latinization form and is using it
everywhere these days. Part of his response was "Feel free to use the
Mavrogiannopoulos variant everywhere.", so I'm merging this commit too.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions