Your message dated Tue, 10 Aug 2010 23:14:42 +0200 with message-id and subject line Re: bug#6835: 23.2; eval'ing `type-of' with #[abc] as arg gets a Fatal error (11) Segmentation fault has caused the GNU bug report #6835, regarding 23.2; eval'ing `type-of' with #[abc] as arg gets a Fatal error (11) Segmentation fault to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 6835: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=6835 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems