Skip to content

fix wrong indent level#105

Merged
Crell merged 1 commit intophp-fig:masterfrom
hms5232:fix-indent
Jan 4, 2025
Merged

fix wrong indent level#105
Crell merged 1 commit intophp-fig:masterfrom
hms5232:fix-indent

Conversation

@hms5232
Copy link
Copy Markdown
Contributor

@hms5232 hms5232 commented Nov 6, 2024

Fix indent level in spec 12.4 and migration guide section 12.

@Crell Crell merged commit 55b222d into php-fig:master Jan 4, 2025
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.

4 participants