]> git.lizzy.rs Git - rust.git/commitdiff
Merge branch 'master' into master
authorRalf Jung <post@ralfj.de>
Sat, 1 Sep 2018 09:47:52 +0000 (11:47 +0200)
committerGitHub <noreply@github.com>
Sat, 1 Sep 2018 09:47:52 +0000 (11:47 +0200)
1  2 
src/intrinsic.rs

Simple merge