> } way how to handle renaming files. If people use it The Right Thing(TM)
> } happens.
> 
>      I am well aware of what "The Right Thing(TM)" is.  However, for
> such a short time period I would argue for simply removing the

more than a day is "enough".  this was more than a day by far.


.mrg.

Reply via email to