Skip to content

Conversation

rerobika
Copy link
Member

@rerobika rerobika commented Jun 2, 2020

This patch fixes #3814.

JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik [email protected]

@rerobika rerobika added the bug Undesired behaviour label Jun 2, 2020
This patch fixes jerryscript-project#3814.

JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik [email protected]
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

Copy link
Member

@dbatyai dbatyai left a comment

Choose a reason for hiding this comment

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

LGTM

@dbatyai dbatyai merged commit dc837d2 into jerryscript-project:master Jun 2, 2020
@rerobika rerobika deleted the fix_issue_3814 branch June 16, 2020 08:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Undesired behaviour
Projects
None yet
3 participants