Re: [GIT PULL] 9p updates for 5.3

[Dominique Martinet]

Dominique Martinet wrote on Fri, Jul 12, 2019:
> 9p pull request for inclusion in 5.13

Just noticed this typo in version number here, should I make a new tag
with the correct text?

Sorry,
-- 
Dominique