tree 1289a2adeb35301ea8df757883c57b0ee7b65cba
parent 9c36a65b117ed92e29fbeda138829966f7cd13fe
author Davide Pesavento <davidepesa@gmail.com> 1696807615 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1696807615 -0400

face: minor code cleanups

Change-Id: I154d2ad4dfd9e12e1fa9756f74884286b31298e4