Skip to content

Conversation

joaoantoniocardoso
Copy link
Collaborator

@joaoantoniocardoso joaoantoniocardoso commented Sep 28, 2025

This is the simplest way of doing it. Note that it's safe to be done here.
ref: https://gitlab.freedesktop.org/gstreamer/gstreamer-rs/-/issues/566#note_3113406

note: Ignore the Windows deploy, the CI is broken, but it's fixed in #543

@patrickelectric patrickelectric merged commit fe60875 into mavlink:master Sep 29, 2025
14 of 17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants