added under review label
This task is achieved, right? Somebody closes it pls.
@nmansard can you accept my pull request first? This way the tree structure will be merged to master (I cannot accept it myself because self-approving pull requests is not allowed, apparently). When it's done, we can close this issue
I don't receive notif for merge-request, apparently. We should add them manually to the issue.
closed
mentioned in commit ee3d756e