About: http://webisa.webdatacommons.org/202043410

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	17:37:04lostlogicNico_P: also, wrt FS #8037, most of my music is mp3 and ogg so my player switches back and forth constantly and I have not seen that bug, so it is definitely not an everybody or an always bug.
http://www.w3.org/ns/prov#wasQuotedFrom	rockbox.org