Skip to content

Conversation

@aykevl
Copy link
Member

@aykevl aykevl commented Jul 12, 2020

This option was broken for a long time, in part because we didn't test for it. This commit fixes that and adds a test to make sure it won't break again unnoticed.

This option was broken for a long time, in part because we didn't test
for it. This commit fixes that and adds a test to make sure it won't
break again unnoticed.
@aykevl aykevl mentioned this pull request Jul 12, 2020
Copy link
Member

@niaow niaow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@aykevl
Copy link
Member Author

aykevl commented Jul 12, 2020

@deadprogram TinyHCI appears to be stuck?

@deadprogram
Copy link
Member

All passed, now merging.

@deadprogram deadprogram merged commit 05495c4 into dev Jul 13, 2020
@deadprogram deadprogram deleted the fix-gc-none branch July 13, 2020 10:20
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