El sábado, 18 de julio de 2020 0:58:25 (CEST), Albert Astals Cid escribió: >> dolphin-plugins also fails here > > Are you sure you're bulding it against the new dolphin instead > of the old (the API changed)? I wasn't. Sorry for the noise.