tree 204526dd84f29dedc3a39aeb7021a41b92e2b244
parent 31776fcd1a07a24340bcd5958c6ad648c7e955e5
parent f137e59841da2648d47441cc91c74de2f0a10b97
author Android (Google) Code Review <android-gerrit@google.com> 1244830256 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1244830256 -0700

Merge change 4017 into donut

* changes:
  Make the date format preference work again.