Closed Kanahiro closed 11 months ago
Sorry basic question: main branch has been updated in the meantime. Should we do a merge commit before , or merging this PR at this state will do it automatically?
@bordoray There is no conflict so we can merge this pr without any action 👍
as described in title.