Christoph Egger <christoph@christoph-egger.org> writes:
> Hi!
>
> Thanks for your patch. However gdb with the patch applied dies for me:
Oh sorry. I've patched the packaging git, not the unstable source
package and git seems to be behind several versions. Works now so far
Thanks!
Christoph