semioticrobotic commented on PR #7818: URL: https://github.com/apache/geode/pull/7818#issuecomment-3313540592
@JinwooHwang: This seems like a housecleaning request that missed a merge somewhere. The related issue, [GEODE-10089](https://issues.apache.org/jira/browse/GEODE-10089), contains five linked pull requests, all of which were merged save for this one. The issue is now closed, marked as `Resolved`, so my guess is that this PR was an oversight somewhere. I will leave you to decide whether to merge or close. -- 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...@geode.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
