Steve McIntyre wrote:
Should I raise a bug?
I vote for "Yes".I haven't updated to 1.12.13 yet, so I can not reproduce your report. Still I am very interested if there are issues with 1.12.13 before updating.
Cheers Daniel PS: If you file a bug, could you report back with the bug ID? _______________________________________________ info-cvs mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/info-cvs
