Closed chuhta closed 6 years ago
Resolves https://github.com/Gert-dev/php-ide-serenata/issues/435
See https://github.com/Gert-dev/php-ide-serenata/blob/master/lib/Main.js#L1372 for the source of the fix.
LGTM, thanks!
Resolves https://github.com/Gert-dev/php-ide-serenata/issues/435
See https://github.com/Gert-dev/php-ide-serenata/blob/master/lib/Main.js#L1372 for the source of the fix.