Skip to content

Auto merge of #563 - Amanieu:foldhash, r=Amanieu #873

Auto merge of #563 - Amanieu:foldhash, r=Amanieu

Auto merge of #563 - Amanieu:foldhash, r=Amanieu #873