Skip to content

Conversation

@KemalSoysal
Copy link
Contributor

No description provided.

KemalSoysal pushed a commit to ls-it-solutions/MPS that referenced this pull request Nov 20, 2018
(cherry picked from commit eab0990) from pull request JetBrains#33 [MPS-28688] on github
@artem-tikhomirov
Copy link
Contributor

JFTR, the patch in its present state has been rejected due to reasons outlined in https://youtrack.jetbrains.com/issue/MPS-28688#focus=streamItem-27-3174093-0-0

@ashatalin
Copy link
Member

@artem-tikhomirov should we close this pull request?

@ashatalin
Copy link
Member

@artem-tikhomirov Should we close this request?

@MonArchangel
Copy link

After no movement/activity KemalSoysal in very nearly 2 years and no opposition to your initial request of 18 months ago, why do you hesitate???

Besides, this idea can always be revived in the future if the original author is healthy enough to do so.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants