GPS Changes #767

Merged

meggert merged 5 commits from gps-changes into main

2023-08-08 09:10:12 +02:00

Author	SHA1	Message	Date
meggert	8f8c3fd4a2	changelog All checks were successful EIVE/eive-obsw/pipeline/pr-main This commit looks good Details	2023-08-07 17:00:19 +02:00
meggert	99dbab9311	Merge branch 'main' into gps-changes All checks were successful EIVE/eive-obsw/pipeline/pr-main This commit looks good Details	2023-08-07 16:58:46 +02:00
Robin Mueller	8441c49fe6	big gps victory Some checks are pending EIVE/eive-obsw/pipeline/head Build started... Details EIVE/eive-obsw/pipeline/pr-main This commit looks good Details	2023-08-02 16:00:27 +02:00
Robin Mueller	ff6cb2a2e3	Merge remote-tracking branch 'origin/main' into gps-changes All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details	2023-08-02 15:32:01 +02:00
meggert	388dc0a813	gps event spam fix? All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details	2023-08-02 13:40:51 +02:00