Skip to content

Conversation

dbatyai
Copy link
Member

@dbatyai dbatyai commented Feb 6, 2020

JerryScript-DCO-1.0-Signed-off-by: Dániel Bátyai [email protected]

JerryScript-DCO-1.0-Signed-off-by: Dániel Bátyai [email protected]
@dbatyai dbatyai added the api Related to the public API label Feb 6, 2020
Copy link
Member

@rerobika rerobika left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Contributor

@galpeter galpeter left a comment

Choose a reason for hiding this comment

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

lgtm

@rerobika rerobika merged commit d740470 into jerryscript-project:master Feb 7, 2020
@dbatyai dbatyai deleted the version2.2 branch June 10, 2020 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
api Related to the public API
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants