tree a329e51b38df45933827d612a835decb8f3656cc
parent 1bf15aef02a89c7829e8a48287ecacb343f87118
author Davide Pesavento <davidepesa@gmail.com> 1639184511 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1640045785 -0500

Assorted API documentation improvements

Change-Id: Iee905b6d9b590d66129b8c7272138c9c39cca21f