Change in core[master]: polishing user interface

From Björn Michaelsen : Björn Michaelsen has abandoned this change. Change subject: polishing user interface .. Patch Set 4: Abandoned Abandoning this as David is working on getting GitReview in place for us: http://wiki.docu

Change in core[master]: polishing user interface

From Björn Michaelsen : Björn Michaelsen has posted comments on this change. Change subject: polishing user interface .. Patch Set 4: Do not submit Hi David, please update the patch: - leave out the rename for now -- people se