[gnome-shell-extensions] places-menu: Use Unicode quotation marks in a new string

[Piotr Drąg <piotrdrag src gnome org>]

commit a26f9e34c724f91b93dd09db33a7bf493e17e9c7
Author: Piotr Drąg <piotrdrag gmail com>
Date:   Sat Nov 25 16:21:35 2017 +0100

    places-menu: Use Unicode quotation marks in a new string
    
    See https://developer.gnome.org/hig/stable/typography.html
    
    https://bugzilla.gnome.org/show_bug.cgi?id=772211

 extensions/places-menu/placeDisplay.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index 796619c..34c594e 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -218,7 +218,7 @@ const PlaceDeviceInfo = new Lang.Class({
     },
 
     _reportFailure: function(exception) {
-        let msg = _("Ejecting drive '%s' failed:").format(this._mount.get_name());
+        let msg = _("Ejecting drive “%s” failed:").format(this._mount.get_name());
         Main.notifyError(msg, exception.message);
     }
 });