[gnome-builder] greeter: tweak spacing

[Christian Hergert <chergert src gnome org>]

commit b7728f8d47e9ab119eac6748c08b058e577872f1
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jan 12 16:23:07 2019 -0800

    greeter: tweak spacing

 src/libide/greeter/ide-greeter-workspace.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/greeter/ide-greeter-workspace.ui b/src/libide/greeter/ide-greeter-workspace.ui
index 905e14441..b63f2a37d 100644
--- a/src/libide/greeter/ide-greeter-workspace.ui
+++ b/src/libide/greeter/ide-greeter-workspace.ui
@@ -25,7 +25,7 @@
         </child>
         <child type="left">
           <object class="DzlPriorityBox" id="left_box">
-            <property name="spacing">10</property>
+            <property name="spacing">6</property>
             <property name="hexpand">false</property>
             <property name="homogeneous">true</property>
             <property name="visible">true</property>