tree 3f0d217c0a4781965992c0b255267ec5014b6055
parent 1d735e4198ca9f749da42e0a695644817cd76f39
author Thomas Vachuska <tom@opennetworking.org> 1533774453 -0700
committer Thomas Vachuska <tom@opennetworking.org> 1533774466 -0700

Minor GUi tweak.

Change-Id: I808e3e2d073576bfa70307e42ccc8b9cf385a219