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

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

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