guido 7645c8bdd7 Make mv more robust. A race has been fixed, as well as an extra warning
added when sbits are cleared.
Fixes PR 1351 and 1377 (I hope).
1997-03-08 16:05:44 +00:00
..
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00