Open haesleinhuepf opened 9 months ago
We should modify our .gitmodules file so that it points at a commit instead of the main branch
CC @StRigaud
We should modify our .gitmodules file so that it points at a commit instead of the main branch
CC @StRigaud