File locked

[Deborah DeWitt]

I have two files:

batch_load

batch_load_13.2

batch_load is locked by a user who has left the company.  I would like to break
that lock and checkin the batch_load_13.2 file as batch_load.  batch_load_13.2
is checked out by me.  Is there a way to do this?

Thanks,

Deb