Rename file to remove PR number

unicode-org · Nov 6, 2023 · 2c06193 · 2c06193
1 parent 4d2d43d
commit 2c06193
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.../0475-overriding-extending-namespacing.md → ...ation/overriding-extending-namespacing.md b/.../0475-overriding-extending-namespacing.md → ...ation/overriding-extending-namespacing.md