Merge pull request #32733 from YHNdnzj/core-some-cleanup
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 9 May 2024 10:45:50 +0000 (12:45 +0200)
committerGitHub <noreply@github.com>
Thu, 9 May 2024 10:45:50 +0000 (12:45 +0200)
commit7a655d6f6ff51b10c636371760912b2a70be7685
tree264fa0d73ddceeb40a55b9531e2e4f3c07a624c4
parent1781de18ab8ebc3e42a607851d8effb3b0355c87
parentd99511add46911fbac35c80032cca967b76523a1
Merge pull request #32733 from YHNdnzj/core-some-cleanup

core: minor cleanups