[GitHub] [commons-collections] Claudenw commented on pull request #258: Simplify bloom filters

[GitBox <gi...@apache.org>]

Claudenw commented on PR #258:
URL: https://github.com/apache/commons-collections/pull/258#issuecomment-1274306815

   I think I need to open a few more but that could be done after the merge
   
   
   On Mon, Jun 13, 2022, 19:49 Gary Gregory ***@***.***> wrote:
   
   > The drawback of merging now is losing all the comments that are as yet
   > unresolved on this PR.
   >
   > Hi @aherbert <https://github.com/aherbert>
   > I see that JIRA issues are now open to track tasks:
   > https://issues.apache.org/jira/browse/COLLECTIONS-816 through
   > https://issues.apache.org/jira/browse/COLLECTIONS-819
   > Is that good enough that we can merge?
   >
   > —
   > Reply to this email directly, view it on GitHub
   > <https://github.com/apache/commons-collections/pull/258#issuecomment-1154262000>,
   > or unsubscribe
   > <https://github.com/notifications/unsubscribe-auth/AASTVHRD4VC3D6DAYASVHJLVO57DHANCNFSM5FUBJMFA>
   > .
   > You are receiving this because you were mentioned.Message ID:
   > ***@***.***>
   >
   


-- 
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@commons.apache.org

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