Skip to content

Conversation

@raja-s
Copy link
Contributor

@raja-s raja-s commented Jan 23, 2019

No description provided.

@raja-s raja-s added the bug label Jan 23, 2019
@raja-s raja-s self-assigned this Jan 23, 2019
@raja-s raja-s requested review from godunko and reznikmm January 23, 2019 21:30
@reznikmm reznikmm merged commit 9e0893e into master Jan 24, 2019
adacore-bot pushed a commit that referenced this pull request Oct 15, 2025
Update CHANGELOG after the release

See merge request eng/ide/ada_language_server!2133
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants