]> git.lizzy.rs Git - rust.git/commit
Merge #8041
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 16 Mar 2021 16:58:48 +0000 (16:58 +0000)
committerGitHub <noreply@github.com>
Tue, 16 Mar 2021 16:58:48 +0000 (16:58 +0000)
commit4771a5f1ca810a3f3697aea8da5af6dc8c03bbd1
treedc4ed41e25efae7b6f76fcf18b6b6eb68170e7a9
parent00c80b208bcbe52b13bbd03cb62e24b2d2075edf
parentce2cae45b5242d59b744018dd79bc2ab74670edc
Merge #8041

8041: Rename Substs -> Substitution r=flodiebold a=flodiebold

Co-authored-by: Florian Diebold <flodiebold@gmail.com>