Forwarded PRs: erlang-jsx #11

Manually merged
erlang merged 1 commits from PR_erlang-jsx#1 into master 2025-09-26 15:19:21 +02:00