9 Oct
2023
9 Oct
'23
4:45 p.m.
Hi Zhiyi, I don't know how to assign a merge request to someone else. I will close this one, ok (?), and then you could start new merge request yourself. Think it will be much quicker fixed if you would do the change. Thanks in advance for taking up.