Gnome extension which allows users to customise the datetime format on the status bar and date menu. Changing formats: Install and run gnome-tweak-tool to toggle and modify the different format targets. Alternatively, you can list and change GSettings under org.gnome.shell.extensions.datetime-format.*.
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?