Fix local override of enum prefix-with-name #1006
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
facebook-github-bot
pushed a commit
to facebookexperimental/rust-shed
that referenced
this pull request
Oct 4, 2024
Summary: [Fix an upstream bug](mozilla/cbindgen#1006) and [add ability to put arbitrary prefix on field names](mozilla/cbindgen#1007). Reviewed By: jasonwhite Differential Revision: D63878067 fbshipit-source-id: 16a35ed1fa2adc4c9211fc6f6332f0be7dbf4f56
facebook-github-bot
pushed a commit
to facebook/sapling
that referenced
this pull request
Oct 4, 2024
Summary: [Fix an upstream bug](mozilla/cbindgen#1006) and [add ability to put arbitrary prefix on field names](mozilla/cbindgen#1007). Reviewed By: jasonwhite Differential Revision: D63878067 fbshipit-source-id: 16a35ed1fa2adc4c9211fc6f6332f0be7dbf4f56
facebook-github-bot
pushed a commit
to facebook/hhvm
that referenced
this pull request
Oct 4, 2024
Summary: [Fix an upstream bug](mozilla/cbindgen#1006) and [add ability to put arbitrary prefix on field names](mozilla/cbindgen#1007). Reviewed By: jasonwhite Differential Revision: D63878067 fbshipit-source-id: 16a35ed1fa2adc4c9211fc6f6332f0be7dbf4f56
emilio
approved these changes
Oct 27, 2024
|
Looks good tho a test would be nice. Given it's trivial and I don't have the cycles to do it myself right now, and I've already taken too long to get to this, this is fine. |
facebook-github-bot
pushed a commit
to facebook/dotslash
that referenced
this pull request
Oct 29, 2024
Summary: PRs mozilla/cbindgen#1006 mozilla/cbindgen#1007 were accepted, so update patch to upstream git repo until next release is cut. Also bump `syn` to match cbindgen. Reviewed By: dtolnay Differential Revision: D65079945 fbshipit-source-id: 5b9f0467150d7cf81f5a9df0bb4d0c1309e67e1b
facebook-github-bot
pushed a commit
to facebookexperimental/rust-shed
that referenced
this pull request
Oct 29, 2024
Summary: PRs mozilla/cbindgen#1006 mozilla/cbindgen#1007 were accepted, so update patch to upstream git repo until next release is cut. Also bump `syn` to match cbindgen. Reviewed By: dtolnay Differential Revision: D65079945 fbshipit-source-id: 5b9f0467150d7cf81f5a9df0bb4d0c1309e67e1b
facebook-github-bot
pushed a commit
to facebook/sapling
that referenced
this pull request
Oct 29, 2024
Summary: PRs mozilla/cbindgen#1006 mozilla/cbindgen#1007 were accepted, so update patch to upstream git repo until next release is cut. Also bump `syn` to match cbindgen. Reviewed By: dtolnay Differential Revision: D65079945 fbshipit-source-id: 5b9f0467150d7cf81f5a9df0bb4d0c1309e67e1b
facebook-github-bot
pushed a commit
to facebookincubator/reindeer
that referenced
this pull request
Oct 29, 2024
Summary: PRs mozilla/cbindgen#1006 mozilla/cbindgen#1007 were accepted, so update patch to upstream git repo until next release is cut. Also bump `syn` to match cbindgen. Reviewed By: dtolnay Differential Revision: D65079945 fbshipit-source-id: 5b9f0467150d7cf81f5a9df0bb4d0c1309e67e1b
facebook-github-bot
pushed a commit
to facebook/hhvm
that referenced
this pull request
Oct 29, 2024
Summary: PRs mozilla/cbindgen#1006 mozilla/cbindgen#1007 were accepted, so update patch to upstream git repo until next release is cut. Also bump `syn` to match cbindgen. Reviewed By: dtolnay Differential Revision: D65079945 fbshipit-source-id: 5b9f0467150d7cf81f5a9df0bb4d0c1309e67e1b
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #808 using @emilio's suggestion in #808 (comment)