uima-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Richard Eckart de Castilho <...@apache.org>
Subject Re: naming of github "tags" - need to include /rel/ it seems...
Date Wed, 30 Oct 2019 05:51:51 GMT
On 30. Oct 2019, at 03:10, Marshall Schor <msa@schor.com> wrote:
> 
> I think this problem is avoidable, if we do not delete the other tag.

Well, yes... but then we have every tag twice, once with and once without "rel". I'd personally
find that confusing and annoying.

-- Richard
Mime
View raw message