New release of Spot: version 2.12.2

Spot 2.12.2 was released on January 18. The documentation is available here.