bors[bot] 9674490b45
Merge #7981
7981: Allow applying De Morgan's law to multiple terms at once r=matklad a=shepmaster



Co-authored-by: Jake Goulding <jake.goulding@gmail.com>
2021-03-13 13:31:55 +00:00
..
2021-03-02 14:27:29 +02:00
2021-03-13 02:24:53 +01:00
2021-03-13 13:04:45 +00:00
2021-03-12 23:54:29 +01:00
2021-03-12 06:16:04 -08:00
2021-03-09 22:30:58 +03:00
2021-03-10 17:06:11 +00:00
2021-03-13 13:04:45 +00:00
2021-03-10 04:54:31 +08:00
2021-03-09 22:30:58 +03:00
2021-03-12 19:49:00 +02:00
2021-03-12 14:45:04 +00:00
2021-03-08 22:19:44 +02:00
2021-03-13 20:14:21 +08:00