kriegaex commented on PR #134: URL: https://github.com/apache/xalan-java/pull/134#issuecomment-1833208717
> Yep. You've retained top-level tools/xalan2jdoc.jar, which is good That was not my intention. I **have** deleted it and al so pushed the commit to the branch. For some reason, the PR was not updated on GitHub. Must be a glitchin their service, as usually that does not happen. Or you just merged before I pushed. I absolutely wanted to delete it, as we agreed on in our chat. There is no need to keep it in the current version, as it is still in the Git history. I already turned it into source, but deleted the decompiled sources again, because they cannot work on JDK 8, as explained in my corresponding commit. I am going to create a follow-up PR for the missing commit. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@xalan.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@xalan.apache.org For additional commands, e-mail: dev-h...@xalan.apache.org
