Merge "Type cast formatted time"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 28 Dec 2013 12:02:37 +0000 (12:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 28 Dec 2013 12:02:37 +0000 (12:02 +0000)
commitfa94c5f030682bb36dca1e37258bc8fd2b7d7b23
tree9414ed88a8582a53cdcf7e26042d223235dfe69c
parent990ddbfda994a8fd8bb1b0ff093a901e98eee634
parentdc8ea9f82fc84094aa89ddc8cd488a7af2b23103
Merge "Type cast formatted time"