to repaire, mend