Skip to content
GitLab
Explore
Sign in
Resolve "Save user's preferences"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marjolaine Bodin
requested to merge
437-save_user_preferences
into
master
Nov 13, 2023
Overview
19
Commits
28
Pipelines
20
Changes
9
Expand
Closes
#437 (closed)
,
#427 (closed)
Edited
Nov 13, 2023
by
Marjolaine Bodin
Merge request reports
Loading