mono/monodevelop — pull request #594 by tpokorra (2014-06-16 13:58:12+00:00)
Title: Fix tar ball debugger gdb missing branch5.1

the same fix that was applied to master in https://github.com/mono/monodevelop/pull/586
please also apply to branch 5.1, so the tarballs will be useful that are generated on that branch