From: Ralf Jung Date: Tue, 13 Nov 2018 13:47:00 +0000 (+0100) Subject: adapt to new redundant-reborrow rule X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/9f4e12da78f75013b3c2a414a3c288756ed64c39?ds=inline;hp=9f4e12da78f75013b3c2a414a3c288756ed64c39 adapt to new redundant-reborrow rule ---