Spicy 1.10 released

We are excited to announce the release of Spicy 1.10.0.

See the NEWS file for a high-level summary, or the CHANGES file for a detailed list of changes which went into this release.

Thanks to everyone who helped make this release happen!

Cheers,

Benjamin