Skip to content
GitLab
Explore
Sign in
synchronize with frama-c master
Code
Review changes
Check out branch
Download
Patches
Plain diff
Andre Maroneze
requested to merge
sync-master
into
master
Jun 26, 2024
Overview
0
Commits
2
Pipelines
2
Changes
16
Expand
@buhler
: pour information, quelques diffs dans OSCS suite aux merges d'hier.
Merge request reports