Stats: update stats/pr-stats.md as of 2025-05-22 22:44:33 UTC

GitHub Action · GitHub Action · commit bf6dfd952323 · 2025-05-22T22:44:33.000Z
diff --git a/stats/pr-stats.md b/stats/pr-stats.md
@@ -1,6 +1,6 @@
 # Open and merged PRs by task labels
 
-_as of 2025-05-21T22:44:19.942Z UTC_
+_as of 2025-05-22T22:44:32.156Z UTC_
 
 PR reference legend:
  - #xxx o -- PR is yet open 
