[gnome-builder] omnibar: use short day name

[Christian Hergert <chergert src gnome org>]

commit 75e61ab6cf199e0073e74605a955a1cf1ca92faf
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jun 26 15:55:15 2016 -0700

    omnibar: use short day name

 libide/workbench/ide-omni-bar.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/workbench/ide-omni-bar.c b/libide/workbench/ide-omni-bar.c
index 72493b8..8ee0ec5 100644
--- a/libide/workbench/ide-omni-bar.c
+++ b/libide/workbench/ide-omni-bar.c
@@ -624,7 +624,7 @@ ide_omni_bar_set_build_result (IdeOmniBar     *self,
   gtk_stack_set_visible_child_name (self->message_stack, "build");
 
   now = g_date_time_new_now_local ();
-  nowstr = g_date_time_format (now, "%A %B %e, %X");
+  nowstr = g_date_time_format (now, "%a %B %e, %X");
   gtk_label_set_label (self->popover_last_build_time_label, nowstr);
 
   gtk_widget_show (GTK_WIDGET (self->popover_view_output_button));