You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@lucene.apache.org by GitBox <gi...@apache.org> on 2022/08/29 19:07:42 UTC

[GitHub] [lucene] rmuir commented on pull request #11724: LUCENE-10520 / #11556 HTMLStripCharFilter bugfix

rmuir commented on PR #11724:
URL: https://github.com/apache/lucene/pull/11724#issuecomment-1230736718

   This change looks good to me! I just want to clone the branch and try to figure how you removed 25,000 lines of code from the generated jflex :)
   


-- 
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: issues-unsubscribe@lucene.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@lucene.apache.org
For additional commands, e-mail: issues-help@lucene.apache.org