> I'm unsure whether we should stick to "those are patches, grab them" > or, for convenience, giving it a version number that is more than 5.15.2, > less than 5.15.3, says it comes from kde, and allows multiple releases.... I would suggest simply using 5.12.2-kdeyyyymmdd for those, if it will happen. Eike