Skip to content

feat!: rename DisplayXR extensions XR_EXT_* → XR_DXR_* - #4

Merged
dfattal merged 2 commits into
mainfrom
dxr-rename
Jul 12, 2026
Merged

dfattal merged 2 commits into
mainfrom
dxr-rename

Conversation

@dfattal

@dfattal dfattal commented Jul 12, 2026

Copy link
Copy Markdown
Contributor

⛔ DO NOT MERGE until KhronosGroup/OpenXR-Docs#199 lands — part of DisplayXR/displayxr-runtime#734

Vendored headers swapped for the renamed snapshot; shared symbol map applied (displayxr-runtime@dxr-rename scripts/dxr_rename_map.json).

TEMPORARY: displayxr-common pinned at its dxr-rename SHA (GIT_SHALLOW dropped) — swap to released tag + restore before merge.

🤖 Generated with Claude Code

dfattal and others added 2 commits July 11, 2026 23:54
…playxr-runtime#734)

Vendored extension headers swapped for the renamed runtime snapshot;
shared exact-symbol map applied. TEMPORARY: displayxr-common pinned to
its dxr-rename branch SHA (GIT_SHALLOW dropped for the SHA pin) — swap
to the released tag + restore GIT_SHALLOW before merge.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@dfattal
dfattal marked this pull request as ready for review July 12, 2026 18:08
@dfattal
dfattal merged commit 76031a8 into main Jul 12, 2026
1 check passed
@dfattal
dfattal deleted the dxr-rename branch July 12, 2026 19:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant