Feedback Thread: DIP 1034--Add a Bottom Type (reboot)--Final Review

[Mike Parker]

On Tuesday, 22 September 2020 at 12:40:54 UTC, Paul Backus wrote:
https://github.com/dlang/DIPs/blob/d492715d3c7ba2cee898930d261ab113c0a66ef9/DIPs/DIP1034.md
>
> The formatting of the unordered list under "Community Review 
> Round 1" is broken.

Thanks. I'll fix that at the end of the review period.