mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
2025-10-15 - 2026-04-15
Overview
Excluding merges,
5 authors
have pushed
523 commits
to master and
523 commits
to all branches.
On master,
956 files
have changed
and there have been
60082 additions
and
44046 deletions.