| 22:04 | <shu> | bakkot: the current linter is too clever in a few places for these hand-written diff style of spec drafts for proposals |
| 22:04 | <shu> |
|
| 22:21 | <bakkot> | Too stupid, really |
| 22:21 | <bakkot> | It should handle ins/del |
| 22:21 | <bakkot> | it does for other rules but not those, yet |
| 22:21 | <bakkot> | I'll fix it at some point but you'll probably need to not enforce for now |
| 22:22 | <shu> | yeah happy to just leave that one and not pass --strict |