tree c15e52ea50172a4270155546dde3e8c56c3abde1
parent 47a67ebcf2d772d5dcae459caa57125b3fe733b3
parent 5669ce59aad19f17e1e89913e7483fb93b8aa0cf
author Android (Google) Code Review <android-gerrit@google.com> 1245352850 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1245352850 -0700

Merge change 4561 into donut

* changes:
  Work around the Czech lack of abbreviated month names.