Commit 517f6f71 authored Dec 15, 2025 by Josef Melkus

Merge branch 'develop' into 'main'

Update script

See merge request !1