Skip to content

Copyedit RUSTSEC-2021-0122#1269

Merged
Shnatsel merged 1 commit into
rustsec:mainfrom
8573:patch-1
Jun 25, 2022
Merged

Copyedit RUSTSEC-2021-0122#1269
Shnatsel merged 1 commit into
rustsec:mainfrom
8573:patch-1

Conversation

@8573

@8573 8573 commented Jun 25, 2022

Copy link
Copy Markdown
Contributor

Apply some copyedits to the text introduced by #1268. Add a missing comma; inflect "be" better; and use normal quotation marks rather than backticks around the word "safe", referring to Safe Rust, as, unlike unsafe, "safe" is not Rust syntax.

I normally would use a more descriptive branch name than "patch-1", but I'm doing this on a phone and I didn't see an option to change the branch name.

Apply some copyedits to the text introduced by rustsec#1268.  Add a missing
comma; inflect "be" better; and use normal quotation marks rather than
backticks around the word "safe", referring to Safe Rust, as, unlike
`unsafe`, "safe" is not Rust syntax.
@Shnatsel

Copy link
Copy Markdown
Member

Thanks!

@Shnatsel Shnatsel merged commit 7381319 into rustsec:main Jun 25, 2022
@alamb

alamb commented Sep 29, 2022

Copy link
Copy Markdown
Contributor

For what it is worth, google/flatbuffers#7518 has just been merged. Not sure about the release schedule just yet but it is getting close

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.

3 participants