[gnome-maps/gnome-3-10] mapSource: Use margin_right instead of margin_end

[Jonas Danielsson <jonasdn src gnome org>]

commit 275891280db177826ff5cdb8020166171596c60c
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Sun Aug 7 21:51:45 2016 -0400

    mapSource: Use margin_right instead of margin_end
    
    The margin_end property was added in GTK 3.12
    
    https://bugzilla.gnome.org/show_bug.cgi?id=769595

 src/mapSource.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/mapSource.js b/src/mapSource.js
index a06f094..1e15016 100644
--- a/src/mapSource.js
+++ b/src/mapSource.js
@@ -49,7 +49,7 @@ const AttributionLogo = new Lang.Class({
         this.parent({ halign: Gtk.Align.END,
                       valign: Gtk.Align.END,
                       margin_bottom: 6,
-                      margin_end: 6 });
+                      margin_right: 6 });
 
         let ui = Utils.getUIObject('attribution-logo', ['logo']);
         this.add(ui.logo);