[gnome-music/wip/jfelder/fix-play-docstring] player: Update play docstring

[Jean Felder <jfelder src gnome org>]

commit 4a992bf27a9ca7bc78e42667a82950216d9677c0
Author: Jean Felder <jfelder src gnome org>
Date:   Sat Jan 4 23:36:35 2020 +0100

    player: Update play docstring
    
    play signature has changed during the core rewrite.

 gnomemusic/player.py | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index 0e23754a..adba0877 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -488,10 +488,9 @@ class Player(GObject.GObject):
     def play(self, coresong=None):
         """Play a song.
 
-        Load a new song or resume playback depending on song_changed
-        value. If song_offset is defined, set a new song and play it.
+        Load a new song or resume playback if coresong is None.
 
-        :param bool song_changed: indicate if a new song must be loaded
+        :param CoreSong coresong: new song to play
         """
         if self.props.current_song is None:
             coresong = self._playlist.set_song(coresong)