Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

specs: typos #3084

Merged
merged 2 commits into from Aug 3, 2022
Merged

specs: typos #3084

merged 2 commits into from Aug 3, 2022

Conversation

fasteater
Copy link
Contributor

Description
Typo fixes

Additional context
none.

Metadata

@changeset-bot
Copy link

changeset-bot bot commented Jul 22, 2022 •
edited

⚠️ No Changeset found

Latest commit: 9154fc2

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

smartcontracts
smartcontracts approved these changes Jul 23, 2022
View reviewed changes
Copy link
Contributor

@smartcontracts smartcontracts left a comment

Choose a reason for hiding this comment

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

Nice, thanks!

@mergify
Copy link
Contributor

mergify bot commented Aug 3, 2022

This PR has been added to the merge queue, and will be merged soon.

@mergify mergify bot merged commit 96103ed into ethereum-optimism:develop Aug 3, 2022
@mergify
Copy link
Contributor

mergify bot commented Aug 3, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

@mergify mergify bot removed the on-merge-train label Aug 3, 2022
@mslipper mslipper mentioned this pull request Aug 4, 2022
Merged
roninjin10 pushed a commit that referenced this pull request Aug 26, 2022
@fasteater @mslipper
typo (#3084)
6b546cc 
Co-authored-by: Matthew Slipper <me@matthewslipper.com>
maurelian pushed a commit that referenced this pull request Sep 15, 2022
@fasteater @mslipper @maurelian
typo (#3084)
4ef80e1 
Co-authored-by: Matthew Slipper <me@matthewslipper.com>
sam-goldman pushed a commit that referenced this pull request Sep 15, 2022
@fasteater @mslipper @sam-goldman
typo (#3084)
eb32538 
Co-authored-by: Matthew Slipper <me@matthewslipper.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smartcontracts smartcontracts smartcontracts approved these changes

@maurelian maurelian maurelian approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@fasteater @smartcontracts @maurelian @mslipper