tree a5f9eed8859d90b2cdaae0799d41308b7db8696c
parent fffdd62715188e4553aa470b79623fc75df07ac7
author Davide Pesavento <davidepesa@gmail.com> 1693012891 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1693357536 -0400

encoding: simplify readVarNumber()

Change-Id: I53ee1ec43d701a95aa79d8ea9f71dd61dbe74615