Commit dbdb27117856015eda3c84fabeb3298077cdd050

Tom Tromey 1997-04-28T00:22:07

got rid of interlock