Re: core dump when accessing bad pages in texinfo-4.13

[Karl Berry]

    >> $ info nonesuch
    >> Segmentation fault (core dumped)

For the record, info nonesuch does not dump core for me with current
info sources (on CentOS 5.2).