[Kile-devel] Kile packaging

[David L. <lon...@gm...>]

Hi Andreas -- one of your kubuntu users brought a bug to our
attention, see https://bugs.kde.org/show_bug.cgi?id=187277 .

There is a work-around for it, but it seems like it might really
frustrate a lot of the Chinese users. Can you also check to make sure
that the special character replacement option mentioned in the bug is
disabled by default in the kubuntu builds?

I just wanted to bring this to your attention in case a re-release was
necessary.

Take care,

David Lonie