Closed JonasHelming closed 2 years ago
@vince-fugnitto : Maybe we take this one in as well and do a release?
@vince-fugnitto : Maybe we take this one in as well and do a release?
@JonasHelming I'm not sure either commit would warrant a release, they are more nice to haves than issues.
I should have some time tomorrow if we really want to provide a release.
@vince-fugnitto There are two additional fixes merged since the last release: https://github.com/eclipse-theia/generator-theia-extension/pull/146 https://github.com/eclipse-theia/generator-theia-extension/pull/150
@JonasHelming did you not want to merge this pull-request so we can perform the release?
fixed #133
Signed-off-by: Jonas Helming jhelming@eclipsesource.com