GNU bug report logs - #1234
There is no record of bug #1234. Try the
search page
instead.