Merge pull request #26144 from yashodha/core_2855
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 4 May 2023 01:59:28 +0000 (11:59 +1000)
committerGitHub <noreply@github.com>
Thu, 4 May 2023 01:59:28 +0000 (11:59 +1000)
commit9fe0fe25b81f1064a5e1916167bc26da2986d34c
tree4747679073abe14255bfd4f7f788a2d5adaf4f2d
parent76c4ec57da97e602d5c95d87ba1ea952be7be527
parentf3a9fb847ac71439cf41ca6eb8ec3a5524c318f0
Merge pull request #26144 from yashodha/core_2855

(dev/core#2855) Preserve pristine ids' for further manipulation via h…