Merge pull request #25268 from eileenmcnaughton/is_separate
authorYashodha Chaku <yashodha@cividesk.com>
Tue, 3 Jan 2023 04:47:23 +0000 (10:17 +0530)
committerGitHub <noreply@github.com>
Tue, 3 Jan 2023 04:47:23 +0000 (10:17 +0530)
Remove unreachable code (since 2020)


Trivial merge