mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2026-01-30 07:26:30 +00:00
This patch fixes #4925. JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik robert.fancsik@h-lab.eu
This patch fixes #4925. JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik robert.fancsik@h-lab.eu