Skip to content

Merge pull request #816 from gwenn/needless_lifetimes #933

Merge pull request #816 from gwenn/needless_lifetimes

Merge pull request #816 from gwenn/needless_lifetimes #933