tree cd43ff5528d5966962d55fe7781fb06db83e526f
parent 5b31ce142be99dee419e2abb225ee36dc72c0f14
parent fec479c41c6363cce7fd3aad2c66eb18e8f61b6f
author Matteo Scandolo <teo@onlab.us> 1489783659 -0700
committer Gerrit Code Review <gerrit@localhost> 1489783659 -0700

Merge "Fixed Dockerfile.gui-extension-builder"