mentioned in merge request !11 (merged)
By Cresson Remi on 2023-06-22T12:55:44 (imported from GitLab)
closed with commit bb2b668d