Skip to content

Fix build #21033

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 2, 2025
Merged

Fix build #21033

merged 1 commit into from
Jun 2, 2025

Conversation

OskarStark
Copy link
Contributor

No description provided.

@OskarStark OskarStark changed the base branch from 7.3 to 6.4 June 2, 2025 06:39
@OskarStark
Copy link
Contributor Author

@alamirault maybe we can have a rule to ensure 4,8,12 spaces for indention for a directive always? 🤔 WDYT?

@OskarStark OskarStark merged commit 98a107f into 6.4 Jun 2, 2025
6 checks passed
@OskarStark OskarStark deleted the fix-build- branch June 2, 2025 07:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants