[Bug 7371] Re: gdb: FTBFS: makeinfo error

[Bug Watch Updater]

** Changed in: gdb (Debian)
       Status: Unknown => Fix Released

-- 
gdb: FTBFS: makeinfo error
https://launchpad.net/bugs/7371

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs