mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2026-02-07 18:56:25 +00:00
Fixes #3830 JerryScript-DCO-1.0-Signed-off-by: Zoltan Herczeg zherczeg.u-szeged@partner.samsung.com
Fixes #3830 JerryScript-DCO-1.0-Signed-off-by: Zoltan Herczeg zherczeg.u-szeged@partner.samsung.com