Merge pull request #132 from prattmic/master
authortexane <texane@gmail.com>
Wed, 6 Mar 2013 18:39:14 +0000 (10:39 -0800)
committertexane <texane@gmail.com>
Wed, 6 Mar 2013 18:39:14 +0000 (10:39 -0800)
Add gdb-server persistence


Trivial merge