This is an automated email from the git hooks/post-receive script.

robert.savoye pushed a change to branch gdbrev in repository toolchain/abe.

at 193f944 Handle gdb and gdnserver separetely so revisions for both wor [...]

This branch includes the following new commits:

new 193f944 Handle gdb and gdnserver separetely so revisions for both wor [...]

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.