1. 2011-04-27 [commit] Re: [patch 3/3] case insensitive: the fix [r gdb-patch Jan Kratochvil 2. 2011-04-26 [patch 3/3] case insensitive: the fix [rediff] gdb-patch Tom Tromey 3. 2011-04-22 [patch 3/3] case insensitive: the fix [rediff] gdb-patch Jan Kratochvil 4. 2011-04-22 [patch 3/3] case insensitive: the fix [rediff] gdb-patch Eli Zaretskii 5. 2011-04-22 [patch 3/3] case insensitive: the fix [rediff] gdb-patch Jan Kratochvil