]> git.lizzy.rs Git - rust.git/commit
rename miri-issue to issue-miri for grouping
authorRalf Jung <post@ralfj.de>
Thu, 14 Nov 2019 09:16:44 +0000 (10:16 +0100)
committerRalf Jung <post@ralfj.de>
Thu, 14 Nov 2019 09:16:44 +0000 (10:16 +0100)
commit82ef2bb0e28884207a2c59d42d6fbf2918153ec4
tree6db4de950a540aded371321fb446a3235b5dbcda
parent09b0a8a813d178233aff88d521ff0aa672ff6dbe
rename miri-issue to issue-miri for grouping
tests/run-pass/issue-miri-133.rs [new file with mode: 0644]
tests/run-pass/miri-issue-133.rs [deleted file]