On Tue, Jun 10, 2025 at 03:12:31PM -0400, Brian Foster wrote: > Here's a prototype for 1. an errtag quiet mode and 2. on-by-default > tags. That looks fine to me, but it's not really my area of expertise.
On Tue, Jun 10, 2025 at 03:12:31PM -0400, Brian Foster wrote: > Here's a prototype for 1. an errtag quiet mode and 2. on-by-default > tags. That looks fine to me, but it's not really my area of expertise.
|