Hi, I think might have been some kind of misunderstanding. This bug is not closed.
I've tested upstream revision 966017. bye, thomas (member of kile dev team) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
