diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-03 12:39:03 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-09-03 12:39:03 +0100 |
commit | 74e7422b69d35c55ff6fde77258047f0292d36e0 (patch) | |
tree | a1addbccc2002b612943f17e3ebf9ea6b7a93dce /.vscode | |
parent | a000346ab2c5851b65eca601996933ba611d2d32 (diff) | |
parent | 9684daa0297546a4dcf4749b1752298f7be53c1d (diff) |
Merge #5942
5942: Actually assert disjointness
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.vscode')
0 files changed, 0 insertions, 0 deletions