On Tue, Jul 27, 2021 at 11:25 AM Lars Ingebrigtsen <larsi@gnus.org> wrote:

>
> I've now reverted the change and reopened bug#35166 -- the problem there
> will have to be fixed in a different way.
>

Thanks for that quick fix! This restores the old `revert-buffer' behavior.