1 Pull request merged by 1 person

• switch to using git log --raw

  #461 merged Aug 24, 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 Aug 23, 2025 • 0 new comments