From 9d0633a8a6a9e92fe0635cd3648b063b6ef2b996 Mon Sep 17 00:00:00 2001
From: Mikael Djurfeldt <djurfeldt@nada.kth.se>
Date: Tue, 18 Apr 2000 11:30:35 +0000
Subject: [PATCH] *** empty log message ***

---
 THANKS             | 1 +
 libguile/ChangeLog | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/THANKS b/THANKS
index dee53da2e..dc9b8da31 100644
--- a/THANKS
+++ b/THANKS
@@ -14,6 +14,7 @@ Contributors since the last release:
 For fixes or providing information which led to a fix:
 
      Lauri Alanko
+     Diego Dainese
       Mark Galassi
       Greg Harvey
        Jon Hellan 	
diff --git a/libguile/ChangeLog b/libguile/ChangeLog
index 48eaff30c..19f2ca09f 100644
--- a/libguile/ChangeLog
+++ b/libguile/ChangeLog
@@ -1,3 +1,9 @@
+2000-04-18  Mikael Djurfeldt  <mdj@mdj.nada.kth.se>
+
+	* script.c (scm_compile_shell_switches): Also enable
+	record-positions when given the --debug option.  (Thanks to Diego
+	Dainese.)
+
 2000-04-18  Dirk Herrmann  <D.Herrmann@tu-bs.de>
 
 	* print.c (ENTER_NESTED_DATA, print_circref, scm_iprlist):