25.07.2023 22:11, Bastian Koppelmann wrote: ...
Michael Tokarev has already picked it up. See https://lore.kernel.org/qemu-devel/20230725145829.37782-11-phi...@linaro.org/T/#u
I noticed that too, we did it almost at the same time. But there's nothing wrong with that. It doesn't matter how a particular change enters the tree. When pulling the same change for the 2nd time, git will notice the change is already there and do nothing. /mjt
