Closed zabulus closed 7 years ago
I think we're seeing a problem with the "reviews" feature of github : 2 reviewers could be preparing reviews with the same comment on the same lines without being aware of it :)
(At least we're pretty consistent in the reviews)
Initial structure + following functions: