Hatchet buried

After a spat that has been going on for years, Google and Samsung now say they want to work together on smart home compatibility.