From d83d7a207cf265b3848dad954b4249eda4212912 Mon Sep 17 00:00:00 2001
From: Yosef Or Boczko <yoseforb@gmail.com>
Date: Tue, 19 Nov 2013 22:30:06 +0200
Subject: [PATCH] info: Use margin-start/end instead of margin-left/right

https://bugzilla.gnome.org/show_bug.cgi?id=712661
---
 panels/info/info.ui | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/panels/info/info.ui b/panels/info/info.ui
index dcc9b938b..f20d40c8d 100644
--- a/panels/info/info.ui
+++ b/panels/info/info.ui
@@ -180,8 +180,8 @@
         <property name="can_focus">False</property>
         <property name="border_width">10</property>
         <property name="orientation">vertical</property>
-        <property name="margin-left">6</property>
-        <property name="margin-right">6</property>
+        <property name="margin-start">6</property>
+        <property name="margin-end">6</property>
         <property name="margin-top">6</property>
         <property name="margin-bottom">6</property>
         <child>