Skip to content

scripts: misc improvements#3281

Merged
georglauterbach merged 2 commits intomasterfrom
scripts/misc-improvements
Apr 23, 2023
Merged

scripts: misc improvements#3281
georglauterbach merged 2 commits intomasterfrom
scripts/misc-improvements

Conversation

@georglauterbach
Copy link
Copy Markdown
Member

@georglauterbach georglauterbach commented Apr 23, 2023 •
edited
Loading

Description

Really minor script enhancements.

Type of change

  • Improvement (non-breaking change that does improve existing functionality)

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation (README.md or the documentation under docs/)

@georglauterbach georglauterbach added area/scripts kind/improvement Improve an existing feature, configuration file or the documentation labels Apr 23, 2023
@georglauterbach georglauterbach added this to the v12.1.0 milestone Apr 23, 2023
@georglauterbach georglauterbach self-assigned this Apr 23, 2023
@georglauterbach georglauterbach merged commit 88cd244 into master Apr 23, 2023
@georglauterbach georglauterbach deleted the scripts/misc-improvements branch April 23, 2023 10:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@georglauterbach georglauterbach

Labels

area/scripts kind/improvement Improve an existing feature, configuration file or the documentation

Projects

None yet

Milestone

v12.1.0

Development

Successfully merging this pull request may close these issues.

1 participant

@georglauterbach