From: Ralf Jung <post@ralfj.de>
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?hp=636864add5545ab862c445a1d116c3cdf484c19c

adapt to new redundant-reborrow rule
---