Skip to content

Conversation

@feeblefakie
Copy link
Contributor

This is an automated backport of the following:

Please merge this PR after all checks have passed.

…d `repairAll()` for backward compatibility (#2760)
@komamitsu
Copy link
Contributor

komamitsu commented Jun 13, 2025

Seems like this PR is already merged. But the merge button is still shown...

756a4b6

komamitsu added a commit that referenced this pull request Jun 13, 2025
… `load()`, `unload()` and `repairAll()` for backward compatibility (#2763)

Co-authored-by: Mitsunori Komatsu <[email protected]>
@komamitsu
Copy link
Contributor

I pushed the Squash and merge button, but it said something like "Cannot merge". The change itself was merged into branch 3.
image

So, I'm closing this PR.

@komamitsu komamitsu closed this Jun 13, 2025
@brfrn169 brfrn169 deleted the 3-pull-2760 branch June 13, 2025 10:54
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.

2 participants