Hey!
I just installed 12.1.2 on my monet device. It shows the same problems with GNSS as official 12.1.3: https://groups.google.com/g/gpstest_android/c/ovpppp7lnVQ
Will it be fixed in the next release?
By the way. What exactly are the advertised "Optimized GPS settings for EU"? I see no...