Closed alexis-mmm closed 4 months ago
I have finished the review. I do not have other comments. We can merge this into main branch after solving this conflicting file: .gitmodules
All fixed. The conflict is due to url changing of the Grendel repo and should not be a big deal.