Skip to content
GitLab
Explore
Sign in
Register
Nicola Botta
IdrisLibs2
Labels
All
Updated date
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
urgent
Nicola Botta / IdrisLibs2
Issues
Merge requests
support
Nicola Botta / IdrisLibs2
Issues
Merge requests
suggestion
Nicola Botta / IdrisLibs2
Issues
Merge requests
feature
Nicola Botta / IdrisLibs2
Issues
Merge requests
enhancement
Nicola Botta / IdrisLibs2
Issues
Merge requests
documentation
Nicola Botta / IdrisLibs2
Issues
Merge requests
critical
Nicola Botta / IdrisLibs2
Issues
Merge requests
confirmed
Nicola Botta / IdrisLibs2
Issues
Merge requests
bug
Nicola Botta / IdrisLibs2
Issues
Merge requests
Prioritized