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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
