Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
sac-group
sac2c
Merge requests
!303
Replace prelude zero by primitive F_zero_A to fix record TC
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Jordy Aaldering
requested to merge
2406-records-tc
into
develop
May 07, 2024
Overview
0
Commits
16
Changes
19
Closes
#2406 (closed)
Edited
May 07, 2024
by
Jordy Aaldering