This same issue should be present for the GNOME panel clock - there is no API to provide which format the clock should be in so it must be manually specified.
This same issue should be present for the GNOME panel clock - there is no API to provide which format the clock should be in so it must be manually specified.