tree aefb41a5de4de135a607a986b23b2122101ed5a0
parent b05393bfedfa3a0f3634efc501c43131a5fa9f8f
author Matteo Scandolo <matteo.scandolo@gmail.com> 1486665013 -0800
committer Matteo Scandolo <teo@onlab.us> 1488430640 -0800

[CORD-772] Persisting GUI Extensions

Change-Id: Ib5d3cbec98d89ead39e1df22fd1e2593589fcdb4