tree 9e4602b80cf4ea5552680daa8870558dd7d79eef
parent 83f8d167cabb7cfd3b26fc120de9b69b7640ff5c
author Davide Pesavento <davidepesa@gmail.com> 1634934147 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1634934147 -0400

Fix compilation on Android

Change-Id: I5e3cb8fb49a773425355400db72b4bb76654b5a5