[gnome-boxes] media-manager: Add missing namespace

[Christophe Fergeau <teuf src gnome org>]

commit 766f12ac7a7f0bc7a830c94dcf616d6b7c0e72e1
Author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
Date:   Thu Aug 30 00:50:00 2012 +0300

    media-manager: Add missing namespace
    
    This code is supposed to catch the generic GLib.Error but was catching
    only Boxes.error due to lack of namespace specification.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=672554

 src/media-manager.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/media-manager.vala b/src/media-manager.vala
index b5e4e34..de7505e 100644
--- a/src/media-manager.vala
+++ b/src/media-manager.vala
@@ -72,7 +72,7 @@ private class Boxes.MediaManager : Object {
                     var media = yield create_installer_media_from_iso_info (path, title, os_id, media_id);
 
                     list.insert_sorted (media, compare_media);
-                } catch (Error error) {
+                } catch (GLib.Error error) {
                     warning ("Failed to use ISO '%s': %s", path, error.message);
                 }
             }