January 10, 2021 - January 17, 2021
Overview
Excluding merges,
0 authors
have pushed
0 commits
to main and
14 commits
to all branches.
On main,
0 files
have changed
and there have been
0 additions
and
0 deletions.
4 Pull requests merged by 2 users
Merged
#156 Ensure that comments are always delivered to the parent creator (fixes #1325)
2 days ago
Merged
#158 Add compilation benchmark, move scripts into subfolder
2 days ago
Merged
#157 Set debug=0 in cargo.toml to speed up builds
3 days ago
Merged
#155 Include fix for mdbook xss vulnerability
4 days ago