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.

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

Update SRD package versions #1524

Merged
merged 1 commit into from
Jul 26, 2023
Merged

Update SRD package versions #1524

merged 1 commit into from
Jul 26, 2023

Conversation

github-actions[bot]
Copy link

@github-actions github-actions bot commented Jul 26, 2023

⤴️ Summary

  • Apply package version diff from 223a027 on 2023-07-26

🌂 Related issues

None

🔬 Tests

Package versions only

@github-actions github-actions bot added affected: developers enhancement New functionality that should be added to the Safe Haven labels Jul 26, 2023
@github-actions github-actions bot force-pushed the srd-package-versions branch from f01b65c to c41a645 Compare July 26, 2023 10:19
Copy link
Member

@jemrobinson jemrobinson left a comment

Choose a reason for hiding this comment

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

LGTM

@jemrobinson jemrobinson merged commit 7957ee4 into develop Jul 26, 2023
@jemrobinson jemrobinson deleted the srd-package-versions branch July 26, 2023 10:20
@jemrobinson jemrobinson mentioned this pull request Aug 14, 2023
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New functionality that should be added to the Safe Haven
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant