Skip to content

Auto merge of #567 - clarfonthey:needless-lifetimes, r=Amanieu #890

Auto merge of #567 - clarfonthey:needless-lifetimes, r=Amanieu

Auto merge of #567 - clarfonthey:needless-lifetimes, r=Amanieu #890