use borrowing terminology in invariants; typos
authorRalf Jung <post@ralfj.de>
Wed, 31 Jan 2018 16:29:23 +0000 (17:29 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 31 Jan 2018 16:30:19 +0000 (17:30 +0100)

No differences found