Add PR gdb/8367 to basenames-may-differ patch.
authorDoug Evans <dje@google.com>
Wed, 14 Dec 2011 16:05:59 +0000 (16:05 +0000)
committerDoug Evans <dje@google.com>
Wed, 14 Dec 2011 16:05:59 +0000 (16:05 +0000)
commit1963ff96820f35bddc85eb409caca40810cbcf57
treef0bf0413733c16ed6f0a6d6eb43053127a8b9082
parent9dadd4aee8842bc6e413e312ecd81b0c22d04399
Add PR gdb/8367 to basenames-may-differ patch.
gdb/ChangeLog