Version 7.16 - 2021/08/27

• user interface
  • don’t draw “—” over graphical InfoBoxes
• Android
  • fix deadlock bug with Bluetooth sensors and the internal GPS