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/636864add5545ab862c445a1d116c3cdf484c19c?ds=sidebyside;hp=636864add5545ab862c445a1d116c3cdf484c19c adapt to new redundant-reborrow rule ---