From a807613bcff42dfacfe0961fa60e95c988ab6e92 Mon Sep 17 00:00:00 2001 From: Carlos O'Donell Date: Fri, 18 Oct 2019 16:06:31 -0400 Subject: [PATCH] Undo accidental commit to ChangeLog.19. I had a local commit fed33b0fb03 which crossed the boundary between when we had and didn't have ChangeLog's and this caused me to have an odd behaviour with the file rename, despite cleaning up the original ChangeLog changes. Sorry. Corrected now. --- ChangeLog.old/ChangeLog.19 | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ChangeLog.old/ChangeLog.19 b/ChangeLog.old/ChangeLog.19 index 0f2b72ff238..84d56ed5e8e 100644 --- a/ChangeLog.old/ChangeLog.19 +++ b/ChangeLog.old/ChangeLog.19 @@ -1,3 +1,7 @@ +2019-10-11 Florian Weimer + + * manual/startup.texi (Aborting a Program): Remove warning. + 2019-10-10 Adhemerval Zanella [BZ #18231] -- 2.39.2