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.)
