tree fe28a12a5d9ae15b710cf3afa63f624e5b53b160
parent 29a41c5024b44b0dbd2dc6f94b6cf9be8a6c674a
author Luca Milanesio <luca.milanesio@gmail.com> 1493279901 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1493335069 +0000

Build verify-status for Gerrit 2.14

Change-Id: Ia1b2fbdd589dc998269d961aa4a5be33729c4e1b