Re: BUG (1.8): can't redefine /debug/

2015-06-21 Thread Mike Gran
On Saturday, June 20, 2015 11:54 PM, Michael Tiedtke wrote: > > >As the bug database doesn't allow filing bugs even when you have a Savannah >account I'm sending this to the mailing list. There is a separate list for bugs: bug-gu...@gnu.org But I'd imagine that the maintainers would tell yo

Re: BUG (1.8): can't redefine /debug/

2015-06-21 Thread Michael Tiedtke
On 21/06/2015 09:29, Mike Gran wrote: On Saturday, June 20, 2015 11:54 PM, Michael Tiedtke wrote: As the bug database doesn't allow filing bugs even when you have a Savannah account I'm sending this to the mailing list. There is a separate list for bugs: bug-gu...@gnu.org But I'd imag