Skip to content

Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJung #7094

Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJung

Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJung #7094