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

Updates for 20231114.1003 #215

Merged
merged 22 commits into from
Nov 16, 2023
Merged

Updates for 20231114.1003 #215

merged 22 commits into from
Nov 16, 2023

Conversation

samueldr
Copy link
Member

@samueldr samueldr commented Nov 15, 2023

Need to figure out the whole DSP thing, but that can be done later -K

As shipped in 20231114.1000
@samueldr samueldr force-pushed the updates/galileo-release branch from 811ac45 to 1423089 Compare November 15, 2023 05:40
@samueldr samueldr force-pushed the updates/galileo-release branch from 1423089 to 204cffa Compare November 15, 2023 06:24
@K900 K900 changed the title Updates for 20231114.1000 Updates for 20231114.1003 Nov 15, 2023
@K900 K900 marked this pull request as ready for review November 15, 2023 08:26
@samueldr
Copy link
Member Author

✔️ works fine on my end with the additions.

(Can't self-approve)

@samueldr samueldr added 2. priority: 1. high 2. topic: packaging About our packaging of additional stuff labels Nov 16, 2023
@K900 K900 merged commit 4e1f560 into development Nov 16, 2023
58 checks passed
@samueldr samueldr deleted the updates/galileo-release branch November 16, 2023 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
2. priority: 1. high 2. topic: packaging About our packaging of additional stuff
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants