Skip to content
GitLab
Explore
Sign in
Librairies
DB Migration
Merge requests
!9
Resolve "Fix index naming"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Paolo Pantellini
requested to merge
9-fix-index-naming
into
main
Nov 03, 2022
Overview
0
Commits
1
Pipelines
3
Changes
7
Expand
Closes
#9 (closed)
Merge request reports