DIP 1038: @nodiscard - Unofficial "post-final" review

[Mike Parker]

On Monday, 22 February 2021 at 12:27:54 UTC, Dukc wrote:

>
> Shouldn't this mandate another official final review round 
> instead (mainly asking Mike here)? Or even another community 
> review?

No. If the changes affected the details of the proposed feature, 
then yes, I would reboot the process and go back to another 
official community review round. That's not the case here, so 
it's fine to do it informally so as not to drag the process out 
any longer than we need to.