Merge branch 'vendor/GDB'
authorJohn Marino <draco@marino.st>
Tue, 15 May 2012 22:29:55 +0000 (00:29 +0200)
committerJohn Marino <draco@marino.st>
Tue, 15 May 2012 22:29:55 +0000 (00:29 +0200)

Trivial merge