diff options
| -rw-r--r-- | ChangeLog.3 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ChangeLog.3 b/ChangeLog.3 index c05303c5d40..a0a4794b4e0 100644 --- a/ChangeLog.3 +++ b/ChangeLog.3 @@ -1,6 +1,6 @@ 2018-07-01 Paul Eggert <eggert@cs.ucla.edu> - * etc/HISTORY: Cite Brinkoff on early history. + * etc/HISTORY: Cite Brinkhoff on early history. 2018-07-01 Martin Rudalics <rudalics@gmx.at> |