Skip to content

GitLab

Projects
Groups
Snippets
Help

Loading...
Help
Sign in / Register

Project overview
Repository
Labels
- Labels
Merge requests 118
- Merge requests 118
CI/CD
Operations
Analytics
Snippets
- Snippets
Members
- Members
Activity
Graph
Jobs
Commits

Collapse sidebar

nexedi
slapos
Merge requests
!1443

Merged

Created Oct 04, 2023 by Jérome Perrin @jeromeOwner

Theia 1.42.1

Overview 8
Commits 5
Pipelines 6
Changes 13

Assignee

Assign to

Reviewer

Request review from

None

Milestone

None

Assign milestone

Time tracking

Source branch: feat/theia-1.42.1

GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7