Since the crack was due to a stone, would you drill a small hole at each end before welding it anyway?