On Fri, 12 Oct 2018 12:43:05 -0700 Laszlo Kishalmi <[email protected]> wrote:
> I think there is nothing wrong with this additional tag. It makes > sense. > > The 9.0 tag has been created and uploaded to the GitHub repository. Thank you very much!!!! -- William L. Thomson Jr.
pgpZFce2mw_8E.pgp
Description: OpenPGP digital signature
