42.3.21

42.3.21 (2025-12-16)

Dependency updates

• core-deps: update protelis to v18.5.1 (patch) (#5027) (e15e840)
• deps: update plugin hugo to v0.12.0 (#5026) (1742fe0)

General maintenance

• build: update the javadoc.io cache (964891b)
• build: update the javadoc.io cache (3fa575b)