Messages on October 26, 2022
Threads2 messages
Patchesnone in this period
0New patchfirst in its thread
0Follow-uprevision of an earlier one
| Activity | Thread | Sent |
|---|---|---|
| Replied (own) | Reducing duplicativeness of EquivalenceClass-derived clauses | over 3 years ago |
| Replied (other) | generated columns bug, see inconsistent data | over 3 years ago |