Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
mercurial
mercurial-devel
Merge requests
!106
Merged
Created
May 17, 2022
by
Pierre-Yves David
@marmoute
🐙
Owner
Options
inherit "all" for the rust step
Overview
1
Commits
1
Pipelines
4
Changes
1
Fix an over enthousiastic deletion in
0ddd5e1f5f67
.