Skip to content

Post release 5.7.0#368

Closed
filmil wants to merge 0 commit into
mainfrom
post-release-5.7.0
Closed

Post release 5.7.0#368
filmil wants to merge 0 commit into
mainfrom
post-release-5.7.0

Conversation

@filmil

@filmil filmil commented Jul 6, 2026

Copy link
Copy Markdown
Member

No description provided.

@filmil filmil requested a review from Manishearth July 6, 2026 21:18
@filmil

filmil commented Jul 6, 2026

Copy link
Copy Markdown
Member Author

@Manishearth I'm not sure why this PR won't offer a rebase option - IIUC both its commits are already in main. But I thought to attempt to fast-forward it to be sure.

@filmil filmil closed this Jul 7, 2026
@filmil filmil force-pushed the post-release-5.7.0 branch from eea5728 to 4bc9b37 Compare July 7, 2026 04:00
@filmil

filmil commented Jul 7, 2026

Copy link
Copy Markdown
Member Author

OK, now I know: the "rebase" option only appears after approval. Sorry about that.

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