1. 2012-04-17 [haiku-bugs] Re: [Haiku] #8072: 'gdb/ns32k-tdep.h' is haiku-bug diver 2. 2011-10-31 [haiku-bugs] Re: [Haiku] #8072: 'gdb/ns32k-tdep.h' is haiku-bug bonefish 3. 2011-10-30 [haiku-bugs] [Haiku] #8072: 'gdb/ns32k-tdep.h' is not haiku-bug Karvjorm