| 14:18 | <bradleymeck> | k |
| 22:33 | <jmdyck> | The merge of PR 1951 introduces a lot of "sec-" ids that aren't on emu-clause elements, which is unusual. Is it desired? |
| 23:09 | <Bakkot> | hm, yeah, I didn't notice that the definition ids were prefixed with `sec-`. shu ^ ? |
| 23:23 | <devsnek> | oldid ftw |