Description of problem:
feature request:
add gnome-shell-extension-panel-date-format.rpm
atareao/panel-date-format
github for gnome shell extension for pretty printing date in panel.
very useful and essential.
Version-Release number of selected component (if applicable):
most up-to-date currently.
Additional info:
very popular.
I was a gnome3/4 skeptic but extensions make all the difference