On Tue Feb 25 07:58:45 2025 +0000, Yongjie Yao wrote:
Oh, sorry, what should I do now ? Should I reopen !7323 and update it or just keep !7418 ? Which method is better ?
I guess the former approach is better if the newer MR could be deleted (but if it couldn't, then either way is basically identical)