mixed_none_delete.ksh revision d7e7cb9c207e40874f6a4b61ca8ea1526b5555bd