tree 57d729118305ea053d1265c5a8524d00ea56a5ec
parent eddfe1175850bbd76c6d085e46740376d04a441d
parent fc3cf2863aa1a8018501bf0b448618c0c2e47ecb
author Slava Pestov <sviatoslav.pestov@gmail.com> 1512969937 -0800
committer GitHub <noreply@github.com> 1512969937 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJaLhbRCRBK7hj4Ov3rIwAAdHIIAIf2RQSjeeq1uRIJ07d18ibp
 bNg6KpUr0f/i5GZ78yqK/NIlaZJMuLfxnK3MpwKxK7LgG6sdVlQisEjBHrmRl6xZ
 uz3M9U2E567jjM2Rv8Ix/II6KmQqGZ9n2QeadaPKZFh/WTLpdzAtREch8TCeX8VW
 u5WcRmZLcJT5L0BGujJA63VRwOPy7+tUnL2wXD52SgkRRefhvICUS/wmvpiBERFX
 lx7cgC0D420hfGOiuRxd+LIak2oz5siHKzf4+/eGQIHeJ3ykUi6wTduMagNeroCg
 xMSDfXB8oDvBLyylYakwcI3pkan//Hncavox3xgow2wT6wPamD6rv1sr5sW0xyQ=
 =XTUq
 -----END PGP SIGNATURE-----
 

Merge pull request #13364 from slavapestov/fix-default-witness-checking

Fix default witness checking