Killing a script causes a segmentation fault

General Usage
1

When I run a script from bash like this

$ julia hello.jl

where hello.jl is just

println("hello")

and I try to kill it like any other program with Ctrl+c, it hangs for quite some time and finally comes back with

Segmentation fault (core dumped)

This seems like a bug. Any thoughts? Thanks.

2

See also https://github.com/JuliaLang/julia/issues/19222.