merge dev to main #168

Merged

Anri merged 4 commits from dev into main

2024-09-17 19:33:26 +02:00

Author	SHA1	Message	Date
Mylloon	144635bd76	fix us typos All checks were successful Lint and Format Check / lint-and-format (pull_request) Successful in 9s Details	2024-09-17 19:32:25 +02:00
Mylloon	cecf86014e	complete en-US translation	2024-09-17 19:32:14 +02:00
Mylloon	ee37e12b65	typos All checks were successful Lint and Format Check / lint-and-format (pull_request) Successful in 9s Details	2024-09-17 19:18:08 +02:00
Mylloon	30fe586e66	provide debugging information when developping All checks were successful Lint and Format Check / lint-and-format (pull_request) Successful in 10s Details	2024-09-17 19:02:18 +02:00