diff --git a/ChangeLog.3 b/ChangeLog.3 index c05303c5d40e..a0a4794b4e03 100644 --- a/ChangeLog.3 +++ b/ChangeLog.3 @@ -1,6 +1,6 @@ 2018-07-01 Paul Eggert - * etc/HISTORY: Cite Brinkoff on early history. + * etc/HISTORY: Cite Brinkhoff on early history. 2018-07-01 Martin Rudalics