Thanks to Dennis, 64-bit core file support is now available in GDB.

2008-04-18  Joel Brobecker  <brobecker@adacore.com>

        * NEWS: Document support for 64-bit core file.

OK to commit?

Thanks,
-- 
Joel