was 5e259ca212ce6b081c5455a0ea45bc628cdeb90d
-----------------------------------------------------------------------
5e259ca212ce6b081c5455a0ea45bc628cdeb90d 16698: add debug ports to arvbox on public{dev,demo}
-----------------------------------------------------------------------
hooks/post-receive
--