Merge branch 'main' into 'master'

Sigmund, Dominik created pipeline for commit c8964777

Jun 19, 2023, finished Jun 19, 2023

1 related merge request: !1 Update index.test.js, examples/all-options.js, examples/log-to-file.js,...

27 seconds, queued for 1 seconds