tree 01460c117a608feb4d80512a7a0d2e3d1d4b8090
parent e19bbca93eb93d4daaf31ac3e7bd8e4c32838af4
author Michael Jurka <mikejurka@google.com> 1348611270 -0700
committer Michael Jurka <mikejurka@google.com> 1348611270 -0700

Fix # 6925851: Workspace page spacing gets messed up

Change-Id: I694fa1e04049e35a415b1f1a85759e501fec6258