Skip to content

Conversation

pietroalbini
Copy link
Member

Reported to us via email.

Copy link
Member

@tshepang tshepang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors merge

@bors-ferrocene
Copy link
Contributor

bors-ferrocene bot commented Oct 5, 2023

Build succeeded:

  • CI

@bors-ferrocene bors-ferrocene bot merged commit ab6469c into main Oct 5, 2023
@bors-ferrocene bors-ferrocene bot deleted the pa-fix-broken-link branch October 5, 2023 13:57
bors-ferrocene bot added a commit to ferrocene/ferrocene that referenced this pull request Oct 6, 2023
28: Automated pull from `ferrocene/specification` r=tshepang a=github-actions[bot]

This PR pulls the following changes from the [`ferrocene/specification`](https://github.com/ferrocene/specification) repository:

* rust-lang/fls#450


Co-authored-by: Pietro Albini <pietro.albini@ferrous-systems.com>
Co-authored-by: bors-ferrocene[bot] <87868125+bors-ferrocene[bot]@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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