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.

Sign up for GitHub

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

Jump to bottom

Remove memory management-related dead code #934

Merged
merged 1 commit into from
Mar 7, 2016
Merged

Remove memory management-related dead code #934

merged 1 commit into from
Mar 7, 2016

Conversation

akosthekiss
Copy link
Member

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss [email protected]

@akosthekiss
Remove memory management-related dead code
212aa34 
JerryScript-DCO-1.0-Signed-off-by: Akos Kiss [email protected]
@akosthekiss akosthekiss added enhancement An improvement minor memory management Related to memory management or garbage collection labels Mar 7, 2016
@LaszloLango
Copy link
Contributor

LGTM

1 similar comment
@zherczeg
Copy link
Member

zherczeg commented Mar 7, 2016

LGTM

@akosthekiss akosthekiss merged commit 212aa34 into jerryscript-project:master Mar 7, 2016
@akosthekiss akosthekiss deleted the mem-remove-dead-code branch March 7, 2016 10:57
@akosthekiss akosthekiss mentioned this pull request Mar 7, 2016
Merged
@zherczeg zherczeg mentioned this pull request Apr 7, 2016
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement An improvement memory management Related to memory management or garbage collection minor
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@akosthekiss @LaszloLango @zherczeg