tree a7b9d1d618381727bed4e3e03950bd37647150b2
parent 88766a2bd792f6d027f084a482a1220a82745067
parent df012d5102735412d9f38513c103aa53df4bcab9
author Jorim Jaggi <jjaggi@google.com> 1453431261 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1453431261 +0000

Merge changes Ifd2de38a,I57633d60

* changes:
  Divider tuning
  Fix unneccesary activity relaunches