How to see that a file is modified?

[René J.V. Bertin]

On Sunday September 22 2019 14:29:44 Erik Rull wrote:

>Hi,
>
>thanks! Which kubuntu LTS version do I need to get the fix?

Sorry, cannot help you with that.

>Or which package do I need to manually update?

Start with the package(s) that provide KDevelop, or uninstall KDevelop and then build it from source yourself. With luck you can get everything required (except for the KDevelop sources) with `apt-get build-dep kdevelop`.

R.