On 24/02/2020 20:31, Christopher Schultz wrote: > Mark, > Why not use the full commit id instead of a prefix? Couldn't some > future commit conflict with some arbitrary prefix? Or do I not know > what the hell I'm talking about?
No, you are spot on. The reason I used the prefix is that I was transcribing the commit IDs by hand so the prefixes were easier. We probably should use the full ID or at least a longer prefix. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
