Skip to content

Auto merge of #502 - Amanieu:fix-clippy2, r=Amanieu #667

Auto merge of #502 - Amanieu:fix-clippy2, r=Amanieu

Auto merge of #502 - Amanieu:fix-clippy2, r=Amanieu #667