On Wed, Apr 8, 2020 at 8:12 AM Dominique Martinet
<asmadeus@xxxxxxxxxxxxx> wrote:
>
> v2 of monday's pull request. The commit date is just now, but that is
> just the documentation patch I applied, there is no code change since
> the last version.
Note that I had already pulled your previous request, I just inquired
about the behavior.
I now pulled the doc update too.
Linus
