OK, I created a PR for this problem: gdb/1560. That made sense.

Here is what I ended up checkin in (I took Eli's previous message as an
approval of the contents of the new PROBLEMS entry).

2004-02-20  J. brobecker  <brobecker@gnat.com>

        * PROBLEMS: Add description of problem documented under gdb/1560.

-- 
Joel