On Mon, May 18, 2020 at 10:31:35PM +0300, Marina Polyakova wrote:
> On 2020-05-18 09:16, Michael Paquier wrote:
>> Would you like to send an updated patch? Note that as the release of
>> beta1 is planned for this week, we have a grace period until the
>> version is tagged on HEAD.
>
> The patch is attached, changes to html such as they were discussed.
Looks good to me. Thanks!
--
Michael