gps-raspbian: use --enable-big-digits=15#650

gpshead merged 2 commits intopython:mainpython/buildmaster-config:mainfrom

gpshead:gps-raspbian-15bit-digitsgpshead/buildmaster-config:gps-raspbian-15bit-digitsCopy head branch name to clipboard