summary refs log tree commit diff
path: root/src/tools/miri
blob: 724be298a1e12593dbc3786cafc307627e46e802 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
tree 09ef90397b8007dc9f95f621f323db36fac0902f
parent fa4c04036f450a557f2e39a210fc0110be244c5a
parent 5a8a15361d15ebded81c4219dd32a175eac3bcfd
author Ralf Jung <post@ralfj.de> 1551025447 +0100
committer GitHub <noreply@github.com> 1551025447 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJccsUnCRBK7hj4Ov3rIwAAdHIIADVXqyVoGlFfmhIrshIXHsWX
 4J6RfJI6rpmvKf8FtOUao89LZi4dZGMRdeXU5Fs5J/2KcMl1J7svw6g14zYKtbfb
 PB9twsHtqV6T5yzgACYVezx9d5G1vCOA8QujPXAoA7U0OvjSMVcBJ4hR8ijOdJXx
 xWU5PMrouf8B/1yahPM0Xn6nUioSEI5CvARbyPSN9mi3kRwx8W8riLnmIPhpzZiM
 XBeavvryh9o2jGPimS7UHGPJGvCTohu2NDmQ1Q4bHeL0pipWg/kAX4mOr04SByub
 iGPIB33osbndI5BfocimIUW66i8mDl4dvrAzML6n8Yfi6CcNU+fg0C6RwrwNrOo=
 =qixg
 -----END PGP SIGNATURE-----
 

Merge pull request #644 from matthewjasper/no-two-phase-matches

Remove test of two-phase borrows in match