mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-13 22:23:45 +00:00
2025-01-14 - 2025-04-14
Overview
Excluding merges,
12 authors
have pushed
307 commits
to master and
341 commits
to all branches.
On master,
2551 files
have changed
and there have been
35389 additions
and
41201 deletions.
1 Release published by 1 user
Published
25.02