Skip to content

Conversation

@oliveromahony
Copy link
Contributor

Proposed changes

Fixing of styling issues with scripts

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING document
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • I have updated any relevant documentation (README.md)

@oliveromahony oliveromahony added the chore Pull requests for routine tasks label Sep 6, 2022
@oliveromahony oliveromahony merged commit 3ac2963 into main Sep 8, 2022
@oliveromahony oliveromahony deleted the cross_platform_scripts branch September 8, 2022 10:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants