KDevelop 5.3.2 released

[Sven Brauch]

Hi,

On 08.03.2019 13:49, René J. V. Bertin wrote:
> Couldn't that be avoided in the future, by changing the version number only when
> there are actual changes in the on-disk format? I know it's "only cache" but
> regenerating it gets costly very quickly.

I explicitly changed it to be not like that a few versions back, because 
often people would forget to bump the version number. Remember that this 
is also necessary when any language plugins (e.g. php, python, ...) 
changes any of its data structures.

Greetings, Sven