Skip to content

use post unfiication symbols during indexing#1896

Merged
v0i0 merged 1 commit into
mainfrom
v0i0/use-post-unification-symbols
Mar 31, 2026
Merged

use post unfiication symbols during indexing#1896
v0i0 merged 1 commit into
mainfrom
v0i0/use-post-unification-symbols

Conversation

@v0i0
Copy link
Copy Markdown
Contributor

@v0i0 v0i0 commented Mar 31, 2026

No description provided.

@meta-cla meta-cla Bot added the CLA Signed This label is managed by the Meta Open Source bot. label Mar 31, 2026
@v0i0 v0i0 requested review from AmesingFlank, jansel and oulgen March 31, 2026 18:24
@v0i0 v0i0 merged commit fa07cfe into main Mar 31, 2026
20 of 21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Meta Open Source bot.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants