Skip to content
GitLab
Explore
Sign in
Register
imprv: Store workspace related settings in contact settings (opened, pinned, position, ...)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Brötzmann
requested to merge
workspace-improvements
into
master
Feb 27, 2023
Overview
1
Commits
3
Pipelines
0
Changes
7
Expand
Fixes
#11374
and
#10872
Merge request reports
Loading