Skip to content

Auto merge of #3480 - RalfJung:alloc_error_handler, r=RalfJung #7099

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

Auto merge of #3480 - RalfJung:alloc_error_handler, r=RalfJung #7099