prepare HAL release #18

Merged
muellerr merged 1 commits from prep-hal-release into main 2024-09-30 12:02:24 +02:00