Spicy 1.5.1 released

We are excited to announce the release of Spicy 1.5.1.

This is a bugfix release, see the CHANGES file for a detailed list of what went into this release.

Thanks to everyone who help to make this release happen!

Cheers,

Benjamin