Skip to content

cumulative merge of changes from Develop to Main repo #14

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
Merged
merged 4 commits into from
Mar 25, 2022
Merged

cumulative merge of changes from Develop to Main repo #14

merged 4 commits into from
Mar 25, 2022

Conversation

@pzaino
Copy link
Contributor

@pzaino pzaino commented Mar 20, 2022 •
edited
Loading

This PR contains:

  • bugfix
  • feature
  • refactor
  • documentation
  • other

Are tests included?

  • no
  • yes (bugfixes and features will not be merged without tests)

Breaking Changes?

  • no
  • yes (breaking changes will not be merged unless absolutely necessary – please provide motivation)

List any relevant issue numbers:

Description

RISC-OS-Community and others added 2 commits March 20, 2022 14:26
@pzaino pzaino requested a review from a team March 20, 2022 14:28
@pzaino pzaino added the documentation Improvements or additions to documentation label Mar 20, 2022
RISC-OS-Community and others added 2 commits March 25, 2022 05:28
@pzaino pzaino merged commit 1980e0e into main Mar 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

documentation Improvements or additions to documentation

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@pzaino @skymandr