Re: [PULL v2 0/1] readthedoc theme patch

[Peter Maydell]

On Fri, 14 May 2021 at 09:01, Marc-André Lureau
<marcandre.lur...@gmail.com> wrote:
>
> Let me know if you want a new PR.

If you could send a new PR that would be the easiest for me.

thanks
-- PMM