Skip to content

Fix IsDroppping typo#132

Merged
koculu merged 1 commit intomainfrom
codex/rename-isdroppping-flag
Jun 14, 2025
Merged

Fix IsDroppping typo#132
koculu merged 1 commit intomainfrom
codex/rename-isdroppping-flag

Conversation

@koculu
Copy link
Copy Markdown
Owner

@koculu koculu commented Jun 14, 2025

Summary

  • rename IsDroppping to IsDropping
  • update disk segment variants to use new name

https://chatgpt.com/codex/tasks/task_e_684ce00a122c8328adb02a0c3d6a0388

@koculu koculu merged commit db345c6 into main Jun 14, 2025
1 check passed
@koculu koculu deleted the codex/rename-isdroppping-flag branch June 14, 2025 02:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant