Spicy bugfix release 1.4.1

The bugfix release spicy-1.4.1 is available[^1].

See the CHANGES file[^2] for a detailed list of changes that went into this release.

Thanks to everyone who contributed to making this happen!

Cheers,

Benjamin

[^1]: https://github.com/zeek/spicy/releases/tag/v1.4.1
[^2]: https://github.com/zeek/spicy/blob/v1.4.1/CHANGES