]> Savannah Git Hosting - gnulib.git/commitdiff
Fix ChangeLog typo.
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 12 Aug 2018 01:58:55 +0000 (18:58 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 12 Aug 2018 01:58:55 +0000 (18:58 -0700)
ChangeLog

index 6418dae91ebd314334d0b738347d34d04777c55e..41a277175c29ae195ff823b38a867683e03d36a7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,6 @@
 2018-08-11  Paul Eggert  <eggert@cs.ucla.edu>
 
-       verify: port 'assume' to traditonal tools
+       verify: port 'assume' to traditional tools
        * lib/verify.h (assume): Port better to Oracle Studio 12.6
        and other tools that use /*NOTREACHED*/ comments.