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/741b7e20adf1fd28ef45a2440ea27c54608f015a?hp=741b7e20adf1fd28ef45a2440ea27c54608f015a

adapt to new redundant-reborrow rule
---