<div dir="ltr">this issue has been around for ages now,<div><br></div><div>the problem mainly consists of not re-randomizing a playlist once it has been played (i think this is the usual behavior a user is looking for, it's done like this in most other media players)</div>
<div><br></div><div>please have a look at the patch and merge it if everything fits.</div></div>