Closed jimmy-huang closed 6 years ago
WIP - Do not merge
Don't merge, this will need to wait for #1862 and https://github.com/jerryscript-project/jerryscript/pull/2247 to get accepted.
closing this as it's replaced by #1882
WIP - Do not merge