GitLab upgrade completed. Current version is 17.11.3.
Hello,
I fixed the previous commit (a73852cb), which was maybe pushed a little bit too fast !
Two things where broken (just by opening a simple trace file):
delete
lead to a segfaultPhilippe.