Re: [PATCH 0/1] MR9077: imm32: ensure HIMC is unlocked in ImmGenerateMessage

[Rémi Bernon (＠rbernon)]

Thanks! Fwiw you didn't need to close and open another merge request. Using `git push <remote> <branch> -f` with the branch name you used is enough to update an existing merge request with some new commits.