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 @@ | |||
| 1 | 2018-07-01 Paul Eggert <eggert@cs.ucla.edu> | 1 | 2018-07-01 Paul Eggert <eggert@cs.ucla.edu> |
| 2 | 2 | ||
| 3 | * etc/HISTORY: Cite Brinkoff on early history. | 3 | * etc/HISTORY: Cite Brinkhoff on early history. |
| 4 | 4 | ||
| 5 | 2018-07-01 Martin Rudalics <rudalics@gmx.at> | 5 | 2018-07-01 Martin Rudalics <rudalics@gmx.at> |
| 6 | 6 | ||