Hello, > Oh, I thought this concerned only those three ports. Now I see there are even more… ;-) > > OK, I’ll check the other kde4 ports next week. Just in case, I am not sure it would be necessary. I think I got all of them covered in the patches for 4.12.5 that I will commit shortly. Cheers, Nicolas