Joshua 9:26

And they did so to them; and Joshua rescued them in that day out of the hands of the children of Israel, and they did not slay them.

And so did he unto them, and delivered them out of the hand of the children of Israel, that they slew them not.

He did so to them, and delivered them out of the hand of the children of Israel, so that they didn’t kill them.