Skip to content

Fix renames once again#195

Merged
vmarkovtsev merged 3 commits intosrc-d:masterfrom
vmarkovtsev:master
Feb 12, 2019
Merged

Fix renames once again#195
vmarkovtsev merged 3 commits intosrc-d:masterfrom
vmarkovtsev:master

Conversation

@vmarkovtsev
Copy link
Collaborator

No description provided.

Signed-off-by: Vadim Markovtsev <vadim@sourced.tech>
Signed-off-by: Vadim Markovtsev <vadim@sourced.tech>
Signed-off-by: Vadim Markovtsev <vadim@sourced.tech>
@vmarkovtsev vmarkovtsev merged commit c1002f4 into src-d:master Feb 12, 2019
dmytrogajewski pushed a commit to dmytrogajewski/hercules that referenced this pull request Jul 28, 2025
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.

1 participant