tree b03dd45720aa7ee61c3a1bfed3c3a17ace28bb21
parent c45a4eaef4d5f164fd925557afc1536835eded7c
author Davide Pesavento <davidepesa@gmail.com> 1663976950 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1664129186 -0400

Minor code cleanups

Change-Id: I2b67216754ba30563a65a2697e6801e363986da1