]> Savannah Git Hosting - gnulib.git/commitdiff
Fix typo in previous ChangeLog entry
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 19 Mar 2023 23:07:57 +0000 (16:07 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 19 Mar 2023 23:07:57 +0000 (16:07 -0700)
ChangeLog

index 005b4a3c1ef0a800bb1ef9f533ad1207c6ce6e6e..f42e2ede309dd590eaec68e917d37d696925cc67 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,7 +1,7 @@
 2023-03-19  Paul Eggert  <eggert@cs.ucla.edu>
 
        test-pselect, test-select: use different ports
-       I have served rare and hard-to-reproduce problems with the GNU
+       I have observed rare and hard-to-reproduce problems with the GNU
        grep release candidate with ‘make -j5 check’ on Fedora 37 x86-64.
        One possibility is that test-pselect and test-select interfere
        with each other somehow when run simultaneously, as they use the