Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!366
Disclaimer for STSs.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robbert Krebbers
requested to merge
robbert/disclaimer_sts
into
master
Jan 30, 2020
Overview
3
Commits
1
Pipelines
0
Changes
1
Expand
See the discussion here:
https://mattermost.mpi-sws.org/iris/pl/59kbs6r6u387ixorcqex3k6ojr
Merge request reports