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