Hi,
since I didn't get any reaction at all, neither in this mailing list nor at the bug
report I created at 'savannah', I'd like to resubmit. Paul possibly has seen this
problem before, and may even have a patch available; reports of reproducibility from
other platforms might also help narrow
%% Johan Bezem [EMAIL PROTECTED] writes:
jb since I didn't get any reaction at all, neither in this mailing
jb list nor at the bug report I created at 'savannah', I'd like to
jb resubmit. Paul possibly has seen this problem before, and may even
jb have a patch available;
Yes, it seems