Dimo Petroff

OK, new detail. After some more careful observation, I have noticed that my history is being killed after exactly 50 versions (not counting the latest one), which is the default...

The file type I initially noticed the problem with was an `.xtend` file, and after [checking in with the xtext project](https://github.com/eclipse/xtext/issues/3184), I can also add that it is reproducible with...

I think the workaround you're suggesting is besides the point. A bug exists, does it not? Why should the issue be closed instead of maybe being picked up by someone...