Skip to content

Auto merge of #3369 - RalfJung:no-std, r=RalfJung #6782

Auto merge of #3369 - RalfJung:no-std, r=RalfJung

Auto merge of #3369 - RalfJung:no-std, r=RalfJung #6782