Skip to content
GitLab
Explore
Sign in
GNOME
gnome-music
Merge requests
!304
player: Fix song_index check in play method
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jean Felder
requested to merge
wip/jfelder/player-play-song-index
into
master
Oct 25, 2018
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
song_index can be equal to zero. So, a good comparison is to check if song_index is equal to None.
Merge request reports