Closed kidanger closed 1 year ago
Thanks, Jérémy! Since this goes to devel, you Jérémy can directly merge it. For the merges in master we'll require at least three reviews, but I'll explain this in an email now.
Thanks, Jérémy! Since this goes to devel, you Jérémy can directly merge it. For the merges in master we'll require at least three reviews, but I'll explain this in an email now.