Forwarded PRs: #4

Manually merged
HPC merged 1 commits from PR_libcircle#1 into master 2025-10-31 17:46:04 +01:00