Skip to content
This repository has been archived by the owner on Jun 10, 2023. It is now read-only.

Restyle Dev #26

Merged
merged 2 commits into from Oct 15, 2022
Merged

Restyle Dev #26

merged 2 commits into from Oct 15, 2022

Conversation

restyled-io[bot]
Copy link
Contributor

@restyled-io restyled-io bot commented Oct 15, 2022

Automated style fixes for #25, created by Restyled.

The following restylers made fixes:

To incorporate these changes, merge this Pull Request into the original. We
recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.

@bryanbill bryanbill merged commit bb99fc1 into dev Oct 15, 2022
@bryanbill bryanbill deleted the restyled/dev branch October 15, 2022 20:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants