On Wednesday, 6 May 2020 at 11:04:06 UTC, Mike Parker wrote: > This is the discussion thread for the first round of Community > Review of DIP 1034, "Add a Bottom Type (reboot)": > Thanks for this Dennis! You're doing the Lord's work :)