tree 7ff81c938ffe59781934b3ec38348058def84f92
parent de01c81a92dbff7c7ab7686cd6796bf808cf6df0
author Davide Pesavento <davidepesa@gmail.com> 1564103236 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1564103236 -0400

poke: add --verbose option

Change-Id: I435f01cf6625bebbea40a0f808d8456fafb01fe1