Skip to content

Commit d5e199f

Browse files
committed
Auto merge of #2401 - RalfJung:dyn, r=RalfJung
fix test file name Would be better to run this test when doing `./miri test dyn`.
2 parents 0844e46 + e051450 commit d5e199f

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed
File renamed without changes.

0 commit comments

Comments
 (0)