From 7be215b4a40c2f6748ec85b12b9b9febc5927565 Mon Sep 17 00:00:00 2001
From: Juanma Barranquero <lekktu@gmail.com>
Date: Tue, 19 Nov 2002 12:18:07 +0000
Subject: [PATCH] *** empty log message ***

---
 lib-src/ChangeLog | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index 8776973a329..6bbc0f2493b 100644
--- a/lib-src/ChangeLog
+++ b/lib-src/ChangeLog
@@ -1,8 +1,9 @@
-2002-11-19  Ben Key <bkey1@tampabay.rr.com>
+2002-11-19  Ben Key  <bkey1@tampabay.rr.com>
+
 	* makefile.w32-in: Fixed a bug that caused the documentation for
 	the built in function play-sound-internal not to be included in
 	/etc/DOC.
-	
+
 2002-11-18  Dave Love  <fx@gnu.org>
 
 	* update-game-score.c: Include unistd.h, string.h, stdlib.h,
-- 
2.39.2