Closed janjongboom closed 7 years ago
Merge after https://github.com/jerryscript-project/jerryscript/pull/1853 has landed (and commit ID needs to be updated to reflect the merge commit).
@thegecko Update is landed in jerry master, so please review.
Merge after https://github.com/jerryscript-project/jerryscript/pull/1853 has landed (and commit ID needs to be updated to reflect the merge commit).