Skip to content

Conversation

@imiklos
Copy link
Contributor

@imiklos imiklos commented Apr 19, 2018

Rename the function to represent it's real functionality.

JerryScript-DCO-1.0-Signed-off-by: Istvan Miklos imiklos2@inf.u-szeged.hu

@LaszloLango LaszloLango added the api Related to the public API label Apr 19, 2018
@LaszloLango LaszloLango added this to the Release 2.0 milestone Apr 19, 2018
@imiklos imiklos mentioned this pull request Apr 19, 2018
Rename the function to represent it's real functionality.

JerryScript-DCO-1.0-Signed-off-by: Istvan Miklos imiklos2@inf.u-szeged.hu
@imiklos imiklos force-pushed the jerry_value_set_abort_flag branch from 2dfef49 to b4de412 Compare May 7, 2018 13:20
@imiklos imiklos closed this May 16, 2018
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.

2 participants