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.