Skip to content

Conversation

@aykevl
Copy link
Member

@aykevl aykevl commented Dec 19, 2019

This PR is extracted from #774 and will be useful to resolve a TODO in #782.

@aykevl aykevl requested a review from niaow December 19, 2019 14:19
@deadprogram deadprogram merged commit 5510dec into dev Dec 21, 2019
@deadprogram deadprogram deleted the compiler-checker-errors branch December 21, 2019 21:58
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