(In reply to comment #7) > AFAICS, however, pr47688.c is still there.
I think I managed to delete it now even though I did do a svn rename.
Ramana
(In reply to comment #7)
> AFAICS, however, pr47688.c is still there.
I think I managed to delete it now even though I did do a svn rename.
Ramana