adapt to new redundant-reborrow rule
authorRalf Jung <post@ralfj.de>
Tue, 13 Nov 2018 13:47:00 +0000 (14:47 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 13 Nov 2018 13:47:00 +0000 (14:47 +0100)

No differences found