gdb (7.4really-1) unstable; urgency=low

  gdbtui binary is deprecated, starting with GDB 7.5.
  Use "gdb -tui" instead.

 -- Hector Oron <zumbi@debian.org>  Sat, 28 Jan 2012 00:43:37 +0100
