On Mon, Oct 30, 2023 at 12:01:28PM +0100, Cornelia Huck wrote:
> On Fri, Oct 27 2023, Cornelia Huck <> wrote:
>
> > On Fri, Oct 27 2023, "Michael S. Tsirkin" <> wrote:
> >> I think we can merge it as editorial actually. Cornelia?
> >
> > I agree. (Someone should probably merge the voted issues on the 1.4
> > branch first.)
>
> But what I'll do is removing the "Fixes:" line and close the github
> issue manually. We should use github issues for voting only, not for
> editorial changes (we need some way to distinguish between the two, and
> I'd rather have a straightforward way to do so.)
Agree totally, that seems like the best way to do it.
If this begins to happen a lot we can add an "editorial" tag though.
