On Mon, 24 Aug 2020 at 00:21, David Gibson <da...@gibson.dropbear.id.au> wrote: > > On Sun, Aug 23, 2020 at 02:54:26PM +0100, Peter Maydell wrote: > > Hi -- it looks like you've updated the tag but I haven't seen > > a new cover letter. Do you want me to apply it? > > Um.. I've updated the branch, but the tag should still be the same. > I'd suggest merging the tag, since that's what I did my testing run > on.
Ah, I was confused because git is smart enough to apply the changes to foo.inc.c files in the pullreq to the renamed foo.c.inc files in master; I mistakenly assumed that you'd done a respin to handle the renaming. Anyway, I'll run the tag through the merge process. thanks -- PMM
