Crash in valhalla

Tobias Hartmann tobias.hartmann at
Tue Sep 15 15:22:19 UTC 2020

Hi Martijn,

Thanks for trying out Valhalla!

On 15.09.20 17:17, Martijn Hoekstra wrote:
> Are reports of these kinds of things valuable yet? If so, where/how can I
> report it?

Yes, such feedback is very much appreciated. Feel free to simply share 
the details here (maybe upload the hs_err* file and reproducer somewhere 
and send the link).


More information about the valhalla-dev mailing list