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]: Release v1.4.1 · zeek/spicy · GitHub
[^2]: spicy/CHANGES at v1.4.1 · zeek/spicy · GitHub