ubxtool: Log the size of the 'svseen' set in "currently receiving" message#140

edmonds wants to merge 1 commit intoberthubert:masterberthubert/galmon:masterfrom

edmonds:edmonds/log-svseen-sizeedmonds/galmon:edmonds/log-svseen-sizeCopy head branch name to clipboard