Subject: Re: bug#51473: [PATCH] Enable xwidget scrolling optimizations, and other xwidgets improvements

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 07 Nov 2021 03:04:05 +0100

Po Lu <[email-masked]> writes:

>> (They're to be applied in the sequence they're numbered?)
>
> Yes, I created them with git format-patch.

Great!  Now applied and pushed to trunk.  😀

(So I'm closing this bug report.)

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no