fix debug-options

* module/ice-9/boot-9.scm (define-option-interface): Fix (debug-options
  'full), along with other options. Thanks to Mark Weaver for the tip.

* THANKS: Update, though many more names need to be added.

1 files changed, 2 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index e3cf1e37c..748605c1a 100644
--- a/THANKS
+++ b/THANKS
@@ -93,6 +93,7 @@ For fixes or providing information which led to a fix:
           Scott Shedden
            Alex Shinn
          Daniel Skarda
+           Dale Smith
           Cesar Strauss
          Rainer Tammer
         Richard Todd
@@ -108,6 +109,7 @@ For fixes or providing information which led to a fix:
 	Andreas Vögele
         Michael Talbot-Wilson
         Michael Tuexen
+        Mark H. Weaver
             Jon Wilson
            Andy Wingo
           Keith Wright