]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #8419 - est31:string_interning, r=ehuss
authorbors <bors@rust-lang.org>
Mon, 29 Jun 2020 23:56:15 +0000 (23:56 +0000)
committerbors <bors@rust-lang.org>
Mon, 29 Jun 2020 23:56:15 +0000 (23:56 +0000)
Move string interning to util

Code that handles string interning is rather an util functionality than
a core functionality.


Trivial merge