Skip to content
GitLab
Explore
Sign in
Last changes before october release
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Last changes before october release
Benjamí Ramos
requested to merge
imp/release_oct23
into
dev
Oct 04, 2023
Overview
0
Commits
6
Pipelines
5
Changes
9
Send user lang with form submit 🧾
Change default map zoom
🗺
Update translations
Edited
Oct 05, 2023
by
Dani Quilez
Merge request reports
Loading