Re: [GIT PULL] 9p updates for 5.3

From: Dominique Martinet
Date: Fri Jul 12 2019 - 04:08:42 EST


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