[gtkmm] Gdk::DeviceManager::get_client_pointer(): Update the deprecation message

[Kjell Ahlstedt <kjellahl src gnome org>]

commit 12677ca7f80f6e39341d0b1345b250913fe34392
Author: Kjell Ahlstedt <kjell ahlstedt bredband net>
Date:   Tue Jan 12 18:10:58 2016 +0100

    Gdk::DeviceManager::get_client_pointer(): Update the deprecation message
    
    Bug #759806.

 gdk/src/devicemanager.hg |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/src/devicemanager.hg b/gdk/src/devicemanager.hg
index 89080fe..7d59997 100644
--- a/gdk/src/devicemanager.hg
+++ b/gdk/src/devicemanager.hg
@@ -127,9 +127,9 @@ public:
     deprecated "Use Gdk::Seat::get_pointer(), Gdk::Seat::get_keyboard() and Gdk::Seat::get_slaves() 
instead.")
 
   _WRAP_METHOD(Glib::RefPtr<Device> get_client_pointer(), gdk_device_manager_get_client_pointer, refreturn,
-    deprecated "There is no replacement.")
+    deprecated "Use Gdk::Seat::get_pointer() instead.")
   _WRAP_METHOD(Glib::RefPtr<const Device> get_client_pointer() const, gdk_device_manager_get_client_pointer, 
refreturn, constversion,
-    deprecated "There is no replacement.")
+    deprecated "Use Gdk::Seat::get_pointer() instead.")
 
   //TODO: Signals, properties.