Comment # 7 on bug 1159041 from Wolfgang Bauer

(In reply to Christophe Giboudeaux from comment #6)
> (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

Good.

We can drop kile5 then though.
DR filed:
https://build.opensuse.org/request/show/755941