am 77dcf735: Merge change 4561 into donut

Merge commit '77dcf735ff3115ef20244408313823d489d88143'

* commit '77dcf735ff3115ef20244408313823d489d88143':
  Work around the Czech lack of abbreviated month names.