[Spot-announce] Spot 0.7.1 has been released