1 Pull request merged by 1 person

• Emphasize runtime if to make PR clearer

  #454 merged Apr 28, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Use C++20 for programs that generate the HTML lists

  #445 commented on Apr 27, 2025 • 0 new comments