Karsten Thoms Messages: 521 Registered: July 2009 Location: Dortmund, Germany
Pull Requests are important for us and we are very actively tracking them on the project. We apologize if we do not react fast. In case of the mentioned repo, it is not part of the core Xtext project and so not all of us are able to handle requests there. Therfore it is good to ping us some time on things that you think is important for us to notice.