On Friday, 28 June 2019 at 07:52:59 UTC, Mike Parker wrote: > address DIPs in the review threads, but they are not required I meant to say they're required to address *feedback* in the review threads.