Finding driver bugs with DR. CHECKER [LWN.net]

Finding driver bugs with DR. CHECKER

Posted Sep 7, 2017 23:21 UTC (Thu) by jhoblitt (subscriber, #77733)
Parent article: Finding driver bugs with DR. CHECKER

Speaking of lurking bugs... " using the tool.q"

to post comments

Posted Sep 7, 2017 23:57 UTC (Thu) by jake (editor, #205) [Link] (1 responses)

> using the tool.q

ouch, fixed now ... a gentle reminder that typos should go to lwn@lwn.net ...

thanks!

jake

Posted Sep 8, 2017 10:35 UTC (Fri) by epa (subscriber, #39769) [Link]

How about a checkbox when submitting comments? The comment would be shown until the typo is fixed, at which point the editor would delete it.