mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
2025-08-02 - 2026-08-02
Overview
Excluding merges,
5 authors
have pushed
38 commits
to develop and
1372 commits
to all branches.
On develop,
79 files
have changed
and there have been
1724 additions
and
499 deletions.