Skip to content

Conversation

japaric
Copy link
Member

@japaric japaric commented May 12, 2018

closes #14

@japaric
Copy link
Member Author

japaric commented May 12, 2018

bors r+

bors bot added a commit that referenced this pull request May 12, 2018
15: show how to define the `oom` lang item r=japaric a=japaric



Co-authored-by: Jorge Aparicio <[email protected]>
@bors
Copy link
Contributor

bors bot commented May 12, 2018

Build succeeded

@bors bors bot merged commit 1578d31 into master May 12, 2018
@japaric japaric mentioned this pull request May 12, 2018
@japaric japaric deleted the oom branch May 12, 2018 14:26
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.

Use OOM lang item
1 participant