diff -Naur gnome-shell-3.0.2.old/po/ar.po gnome-shell-3.0.2/po/ar.po
--- gnome-shell-3.0.2.old/po/ar.po	2011-03-28 22:37:46.000000000 +0200
+++ gnome-shell-3.0.2/po/ar.po	2011-08-09 10:23:49.817074536 +0300
@@ -390,7 +390,7 @@
 
 #: ../js/ui/dateMenu.js:183
 msgid "%a %l:%M %p"
-msgstr "%A %Ol:%OM %p"
+msgstr "%A %l:%M %p"
 
 #. Translators: This is the date format to use when the calendar popup is
 #. * shown - it is shown just below the time in the shell (e.g. "Tue 9:29 AM").
