Skip to content

[derive] Pin syn to 2.0.55#1089

Merged
joshlf merged 1 commit intomainfrom
pin-syn
Apr 2, 2024
Merged

[derive] Pin syn to 2.0.55#1089
joshlf merged 1 commit intomainfrom
pin-syn

Conversation

@joshlf
Copy link
Member

@joshlf joshlf commented Apr 2, 2024

This is a temporary work-around for #1085. Per #1088, we will remove this and implement a more complete fix before releasing 0.8 (#671).

@joshlf joshlf requested a review from jswrenn April 2, 2024 20:16
@joshlf joshlf enabled auto-merge April 2, 2024 20:17
@joshlf joshlf added this pull request to the merge queue Apr 2, 2024
@joshlf joshlf removed this pull request from the merge queue due to a manual request Apr 2, 2024
This is a temporary work-around for #1085. Per #1088, we will remove
this and implement a more complete fix before releasing 0.8 (#671).
@joshlf joshlf enabled auto-merge April 2, 2024 20:29
@joshlf joshlf added this pull request to the merge queue Apr 2, 2024
Merged via the queue into main with commit 72f6694 Apr 2, 2024
@joshlf joshlf deleted the pin-syn branch April 2, 2024 20:45
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