Comment 3 for bug 672229

It seems that a common, clean solution to overcome python's limitations is to do the following:

    t.strftime(_('%H:%M'))

and have translators for each language provide the suitable format for the string, e.g. '%I:M %p' for en_US, and '%H:%M' for fr_FR.