Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

STUB: Fix include indexing #4122

Merged
merged 2 commits into from Jul 11, 2019
Merged

STUB: Fix include indexing #4122

merged 2 commits into from Jul 11, 2019

Conversation

Undin
Copy link
Member

@Undin Undin commented Jul 9, 2019

Fixes #4084

@Undin Undin added the fix Pull requests that fix some bug(s) label Jul 9, 2019
@Undin Undin added this to the v102 milestone Jul 9, 2019
@vlad20012
Copy link
Member

👍
bors r+

bors bot added a commit that referenced this pull request Jul 11, 2019
4122: STUB: Fix include indexing r=vlad20012 a=Undin

Fixes #4084

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@Undin
Copy link
Member Author

Undin commented Jul 11, 2019

bors r-
It will fail without #4130
I'll merge it myself after #4130

@bors
Copy link
Contributor

bors bot commented Jul 11, 2019

Canceled

@Undin
Copy link
Member Author

Undin commented Jul 11, 2019

bors r=vlad20012

bors bot added a commit that referenced this pull request Jul 11, 2019
4122: STUB: Fix include indexing r=vlad20012 a=Undin

Fixes #4084

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Jul 11, 2019

@bors bors bot merged commit 16feb0e into master Jul 11, 2019
@bors bors bot deleted the fix-include-indexing branch July 11, 2019 21:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
fix Pull requests that fix some bug(s)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

include! macro causes exception
2 participants