Re: [PR] do-not-merge(`mango`): fix derivation of upper bound for the range of `$beginsWith` [couchdb]

2023-11-02 Thread via GitHub


pgj commented on PR #4829:
URL: https://github.com/apache/couchdb/pull/4829#issuecomment-1790508697

   @willholley FYI


-- 
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: notifications-unsubscr...@couchdb.apache.org

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



Re: [PR] do-not-merge(`mango`): fix derivation of upper bound for the range of `$beginsWith` [couchdb]

2023-11-03 Thread via GitHub


pgj closed pull request #4829: do-not-merge(`mango`): fix derivation of upper 
bound for the range of `$beginsWith`
URL: https://github.com/apache/couchdb/pull/4829


-- 
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: notifications-unsubscr...@couchdb.apache.org

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



Re: [PR] do-not-merge(`mango`): fix derivation of upper bound for the range of `$beginsWith` [couchdb]

2023-11-03 Thread via GitHub


pgj commented on PR #4829:
URL: https://github.com/apache/couchdb/pull/4829#issuecomment-1792292428

   This PR is no longer needed therefore closing it.


-- 
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: notifications-unsubscr...@couchdb.apache.org

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