; Fix ChangeLog typo.

diff --git a/ChangeLog.3 b/ChangeLog.3
index c05303c5d40e52bda44657a2f74c8ea4a15777c3..a0a4794b4e03424fc5829fe1e7d558c3a26c35c9 100644 (file)
--- 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>