commit | 807142c96ce9ddbbf418ef2cc689d175da86f423 | [log] [tgz] |
---|---|---|
author | Slava Pestov <sviatoslav.pestov@gmail.com> | Sun Dec 10 21:25:37 2017 -0800 |
committer | GitHub <noreply@github.com> | Sun Dec 10 21:25:37 2017 -0800 |
tree | 57d729118305ea053d1265c5a8524d00ea56a5ec | |
parent | eddfe1175850bbd76c6d085e46740376d04a441d [diff] | |
parent | fc3cf2863aa1a8018501bf0b448618c0c2e47ecb [diff] |
Merge pull request #13364 from slavapestov/fix-default-witness-checking Fix default witness checking