[WIP] Merge release branch for version 0.3.4#13

Copilot wants to merge 1 commit into

release/0.3.4gildas/lv:release/0.3.4from

copilot/sub-pr-12gildas/lv:copilot/sub-pr-12Copy head branch name to clipboard