Skip to content

Conversation

follesoe
Copy link
Member

@follesoe follesoe commented Jul 2, 2024

Close #152 when merged.

@follesoe follesoe requested a review from jp-pino July 2, 2024 13:45
@follesoe follesoe linked an issue Jul 2, 2024 that may be closed by this pull request
@follesoe follesoe merged commit bca58e7 into master Jul 2, 2024
@follesoe follesoe deleted the 152-add-new-guestportdeviceid-for-local-gnss-system branch July 2, 2024 13:47
@haavardsyslak haavardsyslak restored the 152-add-new-guestportdeviceid-for-local-gnss-system branch July 8, 2024 14:54
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.

Add new GuestPortDeviceID for local GNSS system
3 participants