(In reply to Wolfgang Bauer from comment #4) > > Yes, but if they are going to be dropped, we need to upgrade kile to the KF5 > version as well. (which is still beta, but should be stable enough, I > suppose) > Accepted 2 days ago