Added a new commit to the MR. Tried first to add it to the existing commit that changed the product code. That was not successful because git complained about merge conflicts, and when I tried editing just the one commit, the other commit was deleted. So I had to add a new commit.